困扰人类80年的数学难题，被AI破解了！奥特曼：感受很复杂
5月21日，OpenAI官方宣布:其内部一个通用推理模型，自主推翻了“平面单位距离猜想”——这道由匈牙利数学家保罗·Erdős于1946年提出的几何难题，困扰数学界整整79年。
我们，已在奇点之中
三天后，OpenAI CEO Sam Altman坐在Relentless播客的话筒前:「We are now， like， in the singularity.」——我们现在，就已经在奇点里头了。
陶哲轩：AI如何永远改变数学和科学
编者按：美国当地时间9月8日，OpenAI宣布其内部AI系统已成功解决“纳维-斯托克斯存在性与光滑性问题”——困扰数学界约90年的千禧年大奖难题之一。约1万个AI智能体协作88小时生成了证明。消息一出，举世震动。
中国日报寻迹陇原 | 一种铜，为何关系重离子治癌装置？甘肃团队打破国外垄断
编者按：一块小小的铜材，为何能牵动国家高端制造的命脉？2021年，当用于癌症治疗重离子加速器的关键材料突然断供，金川集团精密铜材有限公司党委副书记、总经理王艳风和她的团队面临一场“没有退路”的攻坚战。
谷歌造出AI数学家，48%碾压全场，牛津教授用它破解60年未解之谜
在Epoch AI组织的FrontierMath Tier 4基准测试中，AI co-mathematician在自主模式下拿下48%的正确率，解决了48道非公开题中的23道。从19%到48%，整整跃升了29个百分点。
斯坦福×英伟达发布AI推理新范式，刷新了多领域SOTA
即便像 OpenAI 的 o1 这种「会思考」的模型，也只是在考场上多打了打草稿，它的大脑回路依然是锁死的。
AI数学的最后一道高墙，塌了，GPT-6 Astra刷穿FrontierMath Tier 4
刚刚，最后一道FrontierMath Tier 4难题，被GPT-6 Astra攻破了。Epoch AI也正式给它下了结论，FrontierMath Tier 4，饱和了。
永别了，人类冠军，AI横扫天文奥赛，GPT-5得分远超金牌选手2.7倍
在国际天文与天体物理奥赛中，GPT-5和Gemini 2.5 Pro完胜人类选手，在理论和数据分析测试中，拿下了最高分。
美国CS教授发文：数学末日来了，人类千年数学殿堂被AI毁了
10月6日，他们一次性放出了722篇重大数学难题论文。美国CS教授、ACM会士Scott Aaronson惊呼:数学末日来了!