刚出来，人工智能有时候会把近似的概念弄混，也会漏掉条件，形式化後的命题是不是原来的那个命题？这也需要有人去核对。】
【对，别最後证明了一个更弱的结论，这才是真正的闹笑话了。】
就在这个时候，一条消息从柏林传了出来。
国际数学联盟的执行委员会开了一场紧急的会议，经过表决通过了一份声明。
他们承认，经形式化验证的机器生成的证明，与同行评审的证明具有同等效力。
：
这个声明直接把数学界打默不语。
而此时李东虽然没有去看网上的这些舆论，但他能够想象数学界现在到底是怎麽样的一种悲观。
他现在已经把整篇论文看完了。
怎麽说呢？
人工智能的这个证明过程不算复杂，很直接，可是却算不上有灵性。
它在成千上万条路里试错，最後选出了一条最正确的弯路。
在这条弯路上，人工智能用了科尔比多瓦和马丁内斯佐罗亚这几年在带外力的欧拉方程上做出来的骨架，然後逐层放大涡层。
也用了克雷克和克里米纳尔 1986年在剪切流上创造出的精确波，让一个个脉冲从背景的剪切里吸收能量。
还用了利夫希茨和哈梅里 1991年的局部不稳定性分析法。
在这些弯路上，这个模型做的相当的漂亮，而且准确。
甚至连李东都找不出他多余的步骤。
而且这个模型还喜欢跳步，还好李东对跳步也有研究，不然一般的数学家还真不一定能看懂他的证明。
可即便如此，李东仍然愿意称这个大模型是在走一条正确的弯路。
最後李东想起了田钢电话里的叹息，想起了刘若传的无奈，以及各个同行的担心，他最後笑着摇了摇头。
“就这？”
……
此时，柏林国际数学联盟秘书处的会议室里。
来自 40多个国家的 60多位数学家正於此。
大家刚刚表决通过了那份声明。
投赞成票的人不多，可是投反对票的一个都没有。
因为没办法，大家虽然不愿意承认，可是谁也拿不出反对的理由来。
陶哲轩看着打印出来的声明，低声地说道。
“n方程大概只是第一个吧。”
坐在他旁边的舒尔茨点了点头。
“当然，估计霍想也撑不了多久了。”
：
此时，他们旁边一个 30岁出头，来自阿根廷的年轻数学家忍不住问道。
“两位教授，那你们觉後数学家在数学里应该是个什麽位置？咱们真的就只能为 a提供情绪价值了吗？”
“不知道啊，走一步看一步吧。”
会议室里的人三三两两地讨论着自己存在的价值，而坐在主位的联盟主席乌尔丽克蒂尔曼看了看手表，就准备宣布散会了。
就在这时，秘书处的一个工作人员急急忙忙地推门跑了进来。
他叫卢卡费雷迪，今年 29岁，也是一个数学家。
当然，是网上说的会最先被 a代替的那一类数学家。
蒂尔曼此时看着他问道。
“费雷迪，发生了什麽事吗？”
这几天一直沮丧着脸的费雷迪，突然露出了一个灿烂的笑容。
“各位，你们看一下 pmj的主页。”
会场的所有数学家听到他这话，都疑惑地拿出了手机，打开了 pmj的主页。
然後他们就看到了主页上的一个帖子。
标题是——【致全体数学同仁：数学
-->>(第8/10页)（本章未完，请点击下一页继续阅读）