第624章 研究院的后续工作 二 数学AI 2（2/2）

请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。

“再加一个权重惩罚。”

徐辰问：“防止无效穷举？”

“对。”

理查德点头。

“还有一个形式化检查器做兜底。”

陶哲轩说道：“很好。”

回车键按下。

连接着研究院超算中心的算力集群开始运转。

屏幕上，几条任务链同时展开。

……

随后三人继续在白板前讨论。

“这里要不要加凸性条件？”理查德问。

陶哲轩摇头：“太强了，会丢掉一般性。”

徐辰说道：“可以换成弱凸。”

陶哲轩想了想：“对，弱一点。”

理查德敲了几下键盘：“我让模型重新权重。”

几分钟后。

陶哲轩指着一行推导：“这个地方不自然。”

徐辰说道：“因为它在用低维直觉。”

理查德马上说：“我加一个高维反例约束。”

徐辰看了他一眼。“你反应挺快。”

理查德愣了一下，随即有些不好意思：“以前被模型坑多了。”

陶哲轩认真点头：“这确实是个经验。”

……

三人你一言我一语，整个过程不像正式报告，更像一次非常日常的办公室闲聊。

但如果有离散几何方向的学者站在旁边，恐怕会听得头皮发麻。

因为他们随口丢出来的每一句话，落到纸面上，都可能是一篇普通教授要琢磨半个月的关键观察。

就在三人聊得兴起时，连接着AI算力集群的大屏幕上，突然弹出了一行绿色提示。

【验证所有维度猜想成立。】

【证明结构已生成。】

办公室里安静了一瞬。

理查德是第一个反应过来的。这感觉，简直就像是他和科比合砍了82分！

虽然科比拿了81分，他只拿了1分，但以后在简历上，他完全可以理直气壮地写上一笔：【曾与徐辰、陶哲轩共同攻克Ehrhart体积猜想】！

其他两人倒没有那么激动。陶哲轩看着屏幕，转头看向徐辰，脸上露出了一个复杂的表情。

“徐……我们好像……顺手把它给证了？”

徐辰也有些哭笑不得。

他就想来吹个水，结果一不小心又灭掉了一个公开猜想。

不过，这次的经历也让他对陶哲轩的实力有了更直观的认识。

陶哲轩对数学问题的直觉，确实强得可怕，甚至在单一方向的敏锐度上，和自已不相上下。

自已强在LV.4数学带来的全领域视野，可以随时从其他学科调取工具和思路，进行降维打击。

而陶哲轩，则是在他深耕的领域里，把直觉和灵感发挥到了极致。

更可怕的是这种组合。

陶哲轩的顶级直觉，加上在数学AI领域摸爬滚打多年的理查德，两者结合在一起，爆发出的科研力量，隐隐已经能和自已这个拥有外挂的人平起平坐了。

看来，把陶哲轩和理查德挖来，绝对是自已近期做过的最正确的决定之一。

……