AI 导读
奥特曼称模型已能解出顶尖人类做不到的数学题，意味着 AI 正在接管定理证明这道纯逻辑防线。推文由此提出一个哲学问题：若未来 AI 靠千亿步搜索证明出黎曼猜想，但证明长达几百万行、无人能完整读懂或感知其美感，这算人类科学的胜利，还是科学解释权向机器黑盒的彻底割让。
正文
奥特曼说模型已经能解出顶尖人类做不到的数学题，这意味着 AI 正在接管定理证明这道纯逻辑防线，
但我一直在想一个更底层的哲学问题，如果未来某一天，AI 靠着千亿步搜索证明出了黎曼猜想，但整篇证明长达几百万行、没有任何人类的脑袋能够完整读懂或感知其美感，这到底算人类科学的胜利，还是科学解释权向机器黑盒的彻底割让呢
来源：@AYi_AInotes · x.com