搜索
毕树超领衔的Meta超级智能实验室官宣，其Muse Spark模型在6个月内协助数学家连破概率论、微分方程、群论、优化理论、算术物理学及非结合代数六大领域的开放性难题，其中5篇论文直接给出前沿问题答案并推翻了既有群论规则，被毕树超称为数学界的"AlphaGo时刻"。
克雷西 发自 凹非寺 量子位 | 公众号 QbitAI 「AI不可能对最尖端的数学家有任何影响」……吗？ 说出这句话的丘成桐，现在已经用上AI辅助研究了。 而且解决的问题，还是44年前他亲自列入自己的
北京大学AI for Math团队宣布在Lean 4中完整形式化庞加莱猜想，约320万行代码、半个月内完成、成本不到3万美元，是首个同时通过Lean编译与Comparator双重验证的版本。
思特雅大学曾仔健搭建的AI Has Taste项目公开453份数学研究手稿和6篇AI-Proposed Conjectures，其中AI曾构造反例推翻论文猜想并获原作者确认，该系统通过多Agent协作将失败转化为新一轮研究输入，推动AI从生成答案走向生成研究议程。
OpenAI一款8月28日开始训练的内部模型已攻克100多道世界级数学难题，多伦多大学数学家Daniel Litt撰文指出，AI虽将大幅提升数学产出效率，但人类对数学的理解仍不可替代，数学教育与评价体系需重新定义，真正应被保留的是人与人之间的讨论、追问与理解。
数学界，真被AI追到家门口了！
在一道千禧年大奖难题的解答还在接受数学界审视的同时，超过 100 道长期开放问题也已经被内部模型解决。OpenAI 最新公布的信息描绘了这样的局面。
悬着的心终于死了。
数学界重大突破！
GPT-6 Astra联合三位人类研究员首次攻克FrontierMath基准测试中一道自2017年悬而未决的「重大进展」级数学难题，证明批准式委员会选举中「核」永远不为空，并创造性地提出基于「调和熵」的新型投票规则及多项式时间算法。