行业多源确认
AI 冲击数学界：OpenAI、Anthropic 相继宣布攻克长期悬而未决的数学难题
All the drama around AI’s takeover of mathematics
精选理由
The Verge 梳理了这一年 AI 在数学上的争议：OpenAI 和 Anthropic 都宣称破解难题，连千禧年大奖难题都碰了，但数学圈并不买账。
过去一年里，OpenAI 和 Anthropic 等实验室陆续宣布在多个长期存在的数学难题上取得突破，部分成果超出了研究者对当前系统能力的预期。报道提到其中一项涉及著名的千禧年大奖难题的求解。但 The Verge 指出，这些实验室延续了硅谷式做法：进展宣称与验证流程之间存在张力，数学界对这些结果的可靠性和严谨性仍有争议。
原文 · theverge
All the drama around AI’s takeover of mathematics
This past year, OpenAI, Anthropic, and other labs have announced breakthroughs on numerous long-standing mathematical problems, in some cases pushing well beyond what researchers expected current systems to be capable of — including resolving one of the famous Millennium Prize problems. But in classic Silicon Valley style, AI labs are moving fast and breaking things, […]
