AI for Math临界点：OpenAI逼近霍奇猜想，数学正被重构成“软件工程”？
导语不到一个月，OpenAI接连冲击数学界最高峰。9月8日，该公司宣布其内部未公开模型解决了“纳维-斯托克斯存在性与光滑性问题”；9月17日，又有消息称OpenAI已接近证明另一道千禧年大奖难题——霍奇猜想。
AI让数学再也回不去那个旧世界了。
OpenAI 在 GitHub 开源 openai/math，722 份数学手稿归成 372 个成果组，覆盖数论、代数几何、理论计算机等方向，出自一个尚未公开的内部模型，每个结果平均消耗约 3 小时 ChatGPT Pro 级算力，数学评测本身已经刷满。
Axiom Math 想让 AI slop 远离数学，用形式化验证打地基
AI 破解数学难题的新闻越来越多：上个月仅 OpenAI 一家就发布了 719 篇声称解决某些最困难问题的手稿。计算机辅助检查也可能出错。在一堆 AI 垃圾内容之后，Axiom Math 押注数学可以避开这个命运，不是放慢速度，而是站在更稳的地基上。
国产大模型攻克世界级数学难题，AI正在改写数学研究
近日，困扰数学界30余年的世界级难题三维Ghys猜想宣告破解。这是AI攻克世界级数学难题的又一案例，但这次破解难题的不是海外模型，而是中国团队和国产大模型的配合。
全球直播，Astra狂破整数乘法纪录，AI蜂群24小时击穿CS圣杯
这在这几天，数学家、极客和成群的AI智能体，展开了一场震撼的接力。这次接力，发生在GitHub的一个开源仓库里。「人类直觉 + AI的海量试错」，组成了一支无坚不摧的去中心化蜂群。
AI数学的最后一道高墙，塌了，GPT-6 Astra刷穿FrontierMath Tier 4
刚刚，最后一道FrontierMath Tier 4难题，被GPT-6 Astra攻破了。Epoch AI也正式给它下了结论，FrontierMath Tier 4，饱和了。
全球直播！Astra狂破整数乘法纪录，AI蜂群24小时击穿CS圣杯
独特的游戏猜想与图着色: 那些涉及 P vs NP 核心极限的计算机科学难题，正面临着成百上千个 AI 智能体的爆破。
当国产AI闯入前沿数学，有什么比解题更重要？
“AI的成长让我非常吃惊，整个研究过程让我非常享受。”回忆与国产大模型一起挑战世界级数学难题的经历，上海人工智能实验室访问学者、大湾区大学教授许地生如此描述。
当国产AI闯入前沿数学，有什么比解题更重要？
“AI的成长让我非常吃惊，整个研究过程让我非常享受。”回忆与国产大模型一起挑战世界级数学难题的经历，上海人工智能实验室访问学者、大湾区大学教授许地生如此描述。
Big Math：当AI成为数学的先知，数学将何去何从？
我们所处的现代世界建立在数学的基础之上，从社交媒体算法、包裹配送、天气预测，到医学影像与机器学习，无不依赖于它。计算机的兴起助推了数学的主导地位，让我们得以处理那些远超人类大脑有限能力的庞大数字。