菲尔兹奖得主向AI发起挑战
据36氪报道，77岁的菲尔兹奖得主丘成桐教授亲自下场，集结千名学者打造数学大模型。此前，OpenAI在GitHub上公开了722篇数学手稿，涉及372组研究成果，覆盖数论、代数几何等多个前沿领域。
AI批量解题，数学界集体焦虑
今年9月，陶哲轩、邓煜等25位菲尔兹奖得主联合发表公开声明，批评AI公司将攻克数学难题作为营销噱头。
然而，AI在数学领域的进展不容忽视。清华相关团队利用大语言模型智能体集群，已在Lean 4中完成卡拉比猜想的形式化验证，涉及27.3万行代码。
数学研究的范式转变
丘成桐在Math 2.0演讲中提出，数学研究正从证明稀缺走向证明日益充裕的时代。丘成桐认为，与其让数学家转投AI公司，不如亲自下场造AI，确保AI工具真正服务于数学研究的核心目标。