已收录文章摘要，完整内容可前往原文阅读。
新智元报道 就在今天，毕树超领衔的Meta超级智能实验室官宣——在过去短短6个月内，Meta的最新模型Muse Spark已经协助人类数学家连破6大数学领域的开放性难题。其中5篇论文直接给出了悬