数学家 arXiv 发文质疑 OpenAI 万 Agent 88 小时证明缺乏数学理解

数学家 Alexander Gamburd 在 arXiv 发表长文《The Siren Call of Silicon Leviathan》，质疑 OpenAI 用约 1 万个软件 Agent 历时 88 小时完成的证明只是形式化的证书，缺乏真正的数学理解。文章还借用施米特的政治哲学视角，反思 AI 时代的技术狂热，在社交平台引发广泛讨论。