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

X 上围绕 AI 在数学证明上的真实能力展开交锋：T.H.E.K.R.A.K.E.N 称近期主要数学证明只是对已知结果的暴力破解或数据窃取，并非超智能 AI 数学家；spicylemonade 反驳称 2026 年被解决的开放问题数量突然爆炸，难道每个数学家的 IQ 都翻了 10 倍。