「李世石时刻」:AI 数学证明免费可得,数学界愤怒 OpenAI 无意义

RexDouglass · x · 2026-10-08

deredleritt3r 称 OpenAI 发布的证明对整个数学界是「一个职业的李世石时刻」「深刻的人类悲剧」,并警告不要幸灾乐祸——模型很快也会轮到你。他预测一两年内,这类数学结果任何拥有 20 美元/月订阅或开源模型的人都能在 15 分钟内得到,「超级智能已经到来」。

Afinetheorem 转发并补充观点:「为什么 OpenAI 要公开这些证明」的质疑基于误解——这些证明很快普通人几分钟就能做出来,根本「藏不住」;真正需要的是机构层面适应「何为一份好的、可解释的证明」的定义。