X 上争论：AI 数学证明是暴力破解还是真智能

2026 年 10 月 12 日，X 平台上围绕 AI 在数学证明上的真实能力展开交锋。用户 T.H.E.K.R.A.K.E.N 称，近期出现的主要数学证明只是对已知结果的暴力破解或数据窃取，并非超智能 AI 数学家的成果。用户 spicylemonade 随即反驳，指出 2026 年被解决的开放问题数量突然爆炸式增长，并反问难道每个数学家的 IQ 都翻了 10 倍。双方各执一词：一方认为 AI 的成果来自暴力搜索与对已有数据的利用，另一方则以此轮开放问题被大量解决为据，质疑用暴力破解解释得通。截至该日报道，争论尚未有定论，焦点仍是 AI 的数学证明能力究竟源于算力与数据，还是体现了真正的智能。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。