MIT教授：OpenAI解出的数学证明，人类已读不懂
AI 总结
据36氪转载新智元的报道，OpenAI 一次性发布722篇数学论文，其中包含对纳维-斯托克斯方程解失效的反例证明等针对知名未解难题的声称性成果，但报道也指出这些论文仍待核查。在彭博社播客《Odd Lots》中，MIT 工程教育副院长 Justin Solomon 表示，这份证明充满密集技术细节、反直觉不等式与极端取值，他翻过前两页便难以继续，只能说结论「大概是对的」。菲尔兹奖得主陶哲轩在加州理工学院「Math 2.0」演讲中提出思想实验：若AI给出经形式化验证、却无人理解机制的癌症疗法，人类是否敢用，以此追问可解释性与对齐问题。
深度见解
如果AI能产出人类读不懂却可能正确的证明与方案，科研的验证与理解环节将成为新瓶颈，算力与评审资源的分配也会随之被重新审视。
最近，全世界的数学圈都被AI核爆了。
OpenAI一口气发表了722篇论文。
这些论文虽仍接受核查，但看起来，从唯一博弈猜想到准黎曼假设，许多知名的未解数学难题已攻克了。
数学家一觉醒来，发现自己的研究可能被终结了！
匈牙利概率论学家Alfred Renyi曾把数学家称为「一台把咖啡变成定理的机器」。如今真有了一台这样的机器，而它用的是数据中心。
#OpenAI#MIT#Justin Solomon#Terence Tao#Navier-Stokes equations#Clay Mathematics Institute#ICLR#Lean#Caltech