您现在阅读的是
2027小说网www.2027xs.cc提供的《法师归来，速通地球！》第74章 数学核爆(第2/2页)
三维不可压缩N—S方程光滑性与存在性问题的完整证明及形式化验证》」
舆论的飓风从华国往外扩散。
人工智慧的浪潮是如此直观地扑在所有人的脸上。
AI到底能做什麽，能做到什麽程度，好像已经没有了疑问，又好像有无数疑问。
大多数人无法判断这些论文到底是对的还是错的。
动辄100多页的正文，数百页的附录。普通人点进去只能认识标题，再往後看，每一个字都认识，结合在一起完全看不懂。
大家的目光都转向那些有资格判断它的人。
比如说过去一年多的时间里，对人工智慧在数学领域的应用最关注的陶哲轩。
他所在的工作群里已经炸了。
「Terce，你看到了Chen他们刚才放出来的东西吗？」
"@Terce，！ ！ ！！ Boob！ "
「N—S方程，完整的证明！」
所有朋友都在艾特他，然後把晨曦科技官网上的论文连结丢给他。
刚刚结束一天工作，本来打算开始休息的陶哲轩怀疑自己是不是看错了。
他先是点开了推特，刷了一遍自己推送流上的消息。
发现自己没看错，所有数学家都在讨论晨曦科技丢出来的论文，都在讨论这次数学核爆。
「我现在看。」
他在群里回复了一句，然後就转到晨曦科技的官网，找到那篇最引人注目的论文。
论文的写法很奇怪，正文把大量的机械推导给压缩掉了。
每一个关键步骤旁边有一个形式化验证的编号，点击编号可以直接跳转到对应的具体证明论文中去。
整个论文就像是软体工程里的树状结构摊开。
半小时後，陶哲轩在工作群里说道：「@所有人，我刚才粗略看了一下，没有肉眼能看出来的错误，我想我们得拉一个临时视频会议，好好讨论一下。」
>