“？？？我没看错吧”
“大模型不是连9.11和9.9哪个更大都分不清？你现在告诉我它攻克了N—方程？”
“卧槽真的假的？”
“陈老板这震撼弹有点太过于震撼了。
“大家去看晨曦科技的官网，一百篇论文已经P0出来了，排在第一的就是《关于三维不可压缩N—方程光滑性与存在性问题的完整证明及形式化验证》”
舆论的飓风从华国往外扩散。
人工智慧的浪潮是如此直观地扑在所有人的脸上。
I到底能做什么，能做到什么程度，好像已经没有了疑问，又好像有无数疑问。
大多数人无法判断这些论文到底是对的还是错的。
动辄100多页的正文，数百页的附录。普通人点进去只能认识标题，再往后看，每一个字都认识，结合在一起完全看不懂。
大家的目光都转向那些有资格判断它的人。
比如说过去一年多的时间里，对人工智慧在数学领域的应用最关注的陶哲轩。
他所在的工作群里已经炸了。
“erce，你看到了Cen他们刚才放出来的东西吗？”
”@erce，！ ！ ！！ Boob！ ”
“N—方程，完整的证明！”
所有朋友都在艾特他，然后把晨曦科技官网上的论文连结丢给他。
刚刚结束一天工作，本来打算开始休息的陶哲轩怀疑自己是不是看错了。
他先是点开了推特，刷了一遍自己推送流上的消息。
发现自己没看错，所有数学家都在讨论晨曦科技丢出来的论文，都在讨论这次数学核爆。
“我现在看。”
他在群里回复了一句，然后就转到晨曦科技的官网，找到那篇最引人注目的论文。
论文的写法很奇怪，正文把大量的机械推导给压缩掉了。
每一个关键步骤旁边有一个形式化验证的编号，点击编号可以直接跳转到对应的具体证明论文中去。
整个论文就像是软体工程里的树状结构摊开。
半小时后，陶哲轩在工作群里说道：“@所有人，我刚才粗略看了一下，没有肉眼能看出来的错误，我想我们得拉一个临时视频会议，好好讨论一下。”
