数学家24小时驳回OpenAI攻破的猜想:AI证对每句话却与原猜想无关

数学家24小时驳回OpenAI攻破的猜想!“AI证对了每句话,但已跟原猜想无关”

精选理由

OpenAI说攻破了个猜想,结果数学家隔天就发论文打脸:你每步都对,但跟原猜想根本不沾边。想看AI证明怎么翻车,点这个。

AI 摘要

OpenAI宣称攻破了一个数学猜想,但人类数学家24小时内发表论文回应,指出其反例不成立。论文认为AI的证明步骤虽每句正确,整体论证却已与原猜想脱钩。该回应论文已公开,直接质疑了AI在数学证明中的有效性。

图片来源 · 量子位
原文 · 量子位

数学家24小时驳回OpenAI攻破的猜想!“AI证对了每句话,但已跟原猜想无关”

第二天,就有一篇人类论文回应:AI提出的反例不成立