Ramanujan 式反差：AI 出数学证明，数学家却喊威胁
CatAstro_Piyush · x · 2026-10-09
zhaoranwang 用历史类比评论 AI 生成数学证明引发的争议：1913 年 Ramanujan 给 Hardy 寄去没有证明、没有推理链的定理，Hardy 说「把这位天才带到剑桥来」；2026 年 AI 产出数学证明，数学家却说「这威胁到我们领域的完整性」。引用 Dimitris Papailiopoulos 的观点认为，这恰恰是研究者最好的时代。
「漫话AGI」频道最新
- 「AI 能否思考」辩论的语义陷阱:信息处理远不止计算机那一类 — AndyMasley · 2026-10-10
- AI 乌托邦下「努力还有什么意义」引发个体主义反驳 — akbirthko · 2026-10-10
- 马斯克:Grok 机器人智能体将自主管理 Grokipedia 百万级条目 — XFreeze · 2026-10-10
- 一年吃工厂肉却质疑 AI 意识:反讽观点引伦理讨论 — trevposts · 2026-10-10
- 影院现 Fanta 全 AI 广告,创作者点破:广告是很多艺术家的饭碗 — moultano · 2026-10-10
- 从客户工作流到 SpatialBench:前沿模型在空间生物学的落地方法论 — kenbwork · 2026-10-10