The Verge · AI· Robert Hart·· 13 天前AI 评分65
AI 接管数学引发的争议:OpenAI、Anthropic 的突破与学界反弹
All the drama around AI’s takeover of mathematics
AI 导读
过去一年,OpenAI、Anthropic 等实验室宣布在多个长期悬而未决的数学问题上取得突破,部分进展超出研究者对现有系统能力的预期,包括解决了一个著名的千禧年大奖难题。但这些成果并未获得一致认可,反而引发学界反弹,AI 实验室表示正在从早前的失误中吸取教训,这些承诺能否兑现尚待观察。