毕树超领衔的Meta超级智能实验室官宣——

在过去短短6个月内，Meta的最新模型Muse Spark已经协助人类数学家连破6大数学领域的开放性难题。

其中5篇论文直接给出了悬而未决的世界前沿问题答案，甚至推翻了现有的群论拟议规则！

前有OpenAI、Anthropic的模型，现在，Meta也来征服这个领域的低垂果实了。

AI颠覆人类数学研究的趋势，已经不可逆。