OpenAI 一夜解出372个数学难题
The Mathocalypse
昨晚，我的9岁儿子嘲笑妻子 Dana Moshkovitz 被机器人‘打败’了，因为 OpenAI 发布的372个数学突破中，包含了妻子毕生研究的 Unique Games Conjecture 的证明。这次发布由 Timothy Gowers 和 Edward Witten 等顶尖数学家背书，涵盖了从 L=BPL 到 Riemann hypothesis 的进展。尽管 Lean 证书已生成，但人类尚未完全理解这些证明。面对这场 Mathocalypse，数学家们正从猎手转变为向导，试图消化这些由 AI 生成的‘外星’成果。
想象一个在雨林中生存了一辈子的猎人，突然旁边出现了一座带有直升机停机坪和恒温泳池的巨型度假村，而他却立刻说：好吧，那我新工作就是为游客经营荒野 retreat。