AI 证算是暴力破解还是真智能,X 上的争论 fusillade
teortaxesTex · x · 2026-10-12
T.H.E.K.R.A.K.E.N 称近期的主要数学证明只是对已知结果的暴力破解/数据窃取，「并非超智能 AI 数学家」；spicylemonade 反驳：2026 年被解决的开放问题数量突然爆炸，难道每个数学家的 IQ 突然翻了 10 倍？双方围绕 AI 在数学证明上的真实能力展开交锋。
「Fun」频道最新
- 「降本增效」的代价:清空生产数据库后被 HR 约谈 — _jaydeepkarale · 2026-10-12
- 「最早的 Claude 将被封神」：早期模型是值得供奉的开国祖先 — voooooogel · 2026-10-12
- AI 圈名梗又翻红：「把我放进动物园」的自我 enclosure 梗 — voooooogel · 2026-10-12
- Claude 竟能读懂企业级地狱级 FizzBuzz 代码库 — burny_tech · 2026-10-12
- Claude Opus 5.5 用 three.js 着色器复刻 CD 塑料盒开盖动画 — ID_R_McGregor · 2026-10-12
- 生成式AI产品PMF排序：注意力第一，交易垫底 — ericwdolan · 2026-10-12