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