数学家借助AI补上了四十年来的最后一个缺口

六位数学家解开了M23，这是26个特殊对称群中最后一个没有答案的成员。AI代理筛遍了大量对称组合，为七个候选曲面算出近似方程。精确的多项式由人写出，团队说论文没有一句是AI写的。

✓ 已核实 · 3个来源

在App中阅读——免费，9种语言

相关新闻

新型Windows恶意软件让四个聊天机器人投票决定下一步
2026-09-23OpenAI 那份百万美元证明靠的是自然界没有的外力。
2026-09-23人工智能破译了 2005 年以来没人解开的恩尼格玛电文。
2026-09-22只学古希腊语的模型，正在补全残破的莎草纸。
2026-09-22让它捅玩偶，最强模型只拒绝了两次。
2026-09-22