OpenAI大规模发布数学证明，数学家震惊与悲痛
原标题："How much beauty have we lost?" Mathematicians react with shock and disgust as OpenAI bulldozes their field
AI 摘要
2026年10月6日，OpenAI一次性发布超过700篇手稿，声称解决了数百个未解数学问题，引发数学界震动。数学博客Proofs and Prompts收集了100多位研究者的回应，其中既有对成果的惊叹，也有对研究方式被颠覆的悲痛与恐慌。菲尔兹奖得主Peter Scholze、Terence Tao等人呼吁耐心与团结，同时警告这些系统可能威胁加密安全。
正文节选
"How much beauty have we lost?" Mathematicians react with shock and disgust as OpenAI bulldozes their field Mathematicians worldwide are reacting to OpenAI's mass release of hundreds of claimed proofs. More than a hundred researchers have shared their responses, ranging from intellectual fascination to deep grief over a lost way of working. AI models have long struggled with math. Just a few years ago, they failed at problems that advanced students could solve routinely. But breakthroughs have b