陶哲轩先和莫妮卡·维桑，还有罗文·基利普三人建了一个视频会议。
罗文·基利普和莫妮卡·维桑都是陶哲轩在加州大学洛杉矶分校的同事，都是偏微分方程领域的数学家。
再细分一点，他们做的都是非线性偏微分方程。
「不要从第一页顺着读，这样今晚我们什麽都做不完。」陶哲轩说道。
「怎麽分？」罗文·基利普问。
陶哲轩想了几秒钟，说：「我们先检查他到底有没有解决他声称解决的问题，然後去找最可能藏错误的地方。」
然後大家都纷纷开始摇人。
第一批是各自熟悉的合作圈。
内茨·卡茨，陶哲轩和他过去在调和分析方向有大量合作。
卡茨擅长的是频率分解、多尺度分析和临界估计。
他能做到的是找那些看上去只差一点，实际上差一点就足以让整套证明崩盘的地方。
第二批得按照他们需要的问题找。
罗文就拉来了他在普林斯顿的好基友彼得·康斯坦丁，普林斯顿大学的教授，几十年来一直在研究欧拉方程：N—S方程以及数学流体力学。
罗文给他发消息：「Chen他们刚刚公开了一份完整证明。」
後面附带着连结。
不到两分钟，彼得康斯坦丁回复道：「我正在看。」
一个接一个的数学家被拉了进来。
陶哲轩在视频会议里说道：「我们先把任务给分一下。」
他按照已经想好的节奏推进工作：「这样，第一组检查一下主定理和克雷数学研究所的原问题是不是一样的。
这一组需要着重关注，它的最终结论有没有任何地方偷偷把问题换掉。
如果我们发现他最後证明的是一个比原问题弱一点的命题，那麽我们今晚就可以睡觉了.
第二组做一下关键先验估计的检查。
你们需要负责证明里最密集的函数空间估计、频率分解、多尺度结构等
某一个估计可能在次临界问题里完全成立，到了临界问题上就可能瞬间失效。
第三组把正则性提升步骤这部分做一下检查。
你们需要关注的是，Chen他们有没有在哪一步排除了有限时间爆破，或者说把强解的性质偷偷套到弱解上。
AI很容易犯这样的问题。
人工智慧很容易为了证明而证明，把幻觉当成事实
…。。