最近科技圈又出了一件让数学界坐不住的事：OpenAI一口气甩出了700多篇由自家模型生成的数学手稿，号称解决了几百个长期悬而未决的难题。消息一出，不少数学家先是懵，后是吵，再是赶紧打开电脑查细节。
按OpenAI的说法，这些手稿覆盖了代数、逻辑、几何、概率等领域，总共攻克了300多道人类此前碰都没碰下来的问题。法国数学家塞德里克·维拉尼直接放话：这可能是数学研究的一场大变革。听起来挺燃的，像是AI要取代数学家熬夜推公式的那种节奏。
但热闹归热闹，质疑声也不少。菲尔兹奖得主雨果·迪米尼-科潘就表示，这批手稿体量实在太大，牵扯的理论和数据多到吓人，光验证就要耗掉大量人力。更尴尬的是，OpenAI发布完这700多篇手稿后，因为发现了错误，又悄悄撤回了其中3篇。这操作多少有点翻车既视感。
还有学者指出，AI生成的不少证明方式，跟人类脑子里的逻辑路径不太一样，看着像“另一个物种写的答案”——严谨性存疑，可读性也堪忧。总之，AI冲击数学的序曲已经奏响，但能不能真正让人信服，还得看这700多篇手稿能不能经得起同行专家们的“找茬”。#大厂科技动态#