AI 接管数学界这一年：从突破声明到学界反弹的争议梳理
All the drama around AI’s takeover of mathematics
The Verge 汇总了过去一年 OpenAI、Anthropic 等实验室宣称解决多个长期数学难题所引发的争议，其中一项涉及著名的千禧年大奖难题。文章称这些实验室以硅谷式快速推进的方式闯入数学界，原本应被庆祝的成果反而招致反弹，实验室方面表示正在从早期错误中学习，这些承诺能否兑现尚待观察。
This past year, OpenAI, Anthropic, and other labs have announced breakthroughs on numerous long-standing mathematical problems, in some cases pushing well beyond what researchers expected current systems to be capable of — including resolving one of the famous Millennium Prize problems. But in classic Silicon Valley style, AI labs are moving fast and breaking things, barreling through the discipline with all the grace of a runaway bulldozer. Results that might normally have been celebrated have instead sparked backlash. AI labs say they are learning from earlier mistakes. Whether those promises bear fruit remains to be seen.
Read on below for the latest updates in the AI takeover of mathematics.
- OpenAI drops another batch of mathematical breakthroughs
- OpenAI keeps bulldozing mathematicians
- OpenAI wants to consult elite mathematicians about how to not fumble again
- OpenAI just wants to win
- Mathematicians want proof OpenAI didn’t use their work
- OpenAI’s sly mathematical breakthrough sends a chill through academia
- Drama swirls around OpenAI’s legendary mathematical milestone
- Welcome to the AI crisis in math
- The AI takeover of mathematics has begun
来源：The Verge · AI · theverge.com