第623章研究院的后续工作二数学
第623章研究院的后续工作二数学(第2/3页)
。
理察愣了一秒，明白了。
他深吸一口气，走过去，坐下，打开终端。
……
他没有简单地把徐辰和陶哲轩的公式输入进去，而是凭藉自己多年的经验，将这个抽象框架拆解成了ai更容易理解的提示词模块。
「我设三个并行子任务。」理察说道。
陶哲轩问：「哪三个？」
「边界条件验证。」
「反例搜索。」
「局部极值逼近。」
他一边说，一边敲键盘。
「再加一个权重惩罚。」
徐辰问：「防止无效穷举？」
「对。」
理察点头。
「还有一个形式化检查器做兜底。」
陶哲轩说道：「很好。」
回车键按下。
连接着研究院超算中心的算力集群开始运转。
屏幕上，几条任务链同时展开。
……
随后三人继续在白板前讨论。
「这里要不要加凸性条件？」理察问。
陶哲轩摇头：「太强了，会丢掉一般性。」
徐辰说道：「可以换成弱凸。」
陶哲轩想了想：「对，弱一点。」
理察敲了几下键盘：「我让模型重新权重。」
几分钟后。
陶哲轩指着一行推导：「这个地方不自然。」
徐辰说道：「因为它在用低维直觉。」
理察马上说：「我加一个高维反例约束。」
徐辰看了他一眼。「你反应挺快。」
理察愣了一下，随即有些不好意思：「以前被模型坑多了。」
陶哲轩认真点头：「这确实是个经验。」
……
三人你一言我一语，整个过程不像正式报告，更像一次非常日常的办公室闲聊。
但如果有离散几何方向的学者站在旁边，恐怕会听得头皮发麻。
因为他们随口丢出来的每一句话，落到纸面上，都可能是一篇普通教授要琢磨半个月的关键观察。
就在三人聊得兴起时，连接着ai算力集群的大屏幕上，突然弹出了一行绿色提示。
【验证所有维度猜想成立。】
【证明结构已生成。】
办公室里安静了一瞬。
理察是第一个反应过来的。这感觉，简直就像是他和科比合砍了82分！
虽然科比拿了81分，他只拿了1分，但以后在简历上，他完全可以理直气壮地写上一笔：【曾与徐辰丶陶哲轩共同攻克ehrhart体积猜想】！
其他两人倒没有那么激动。陶哲轩看着屏幕，转头看向徐辰，脸上露出了一个复杂的表情。
「徐……我们好像……顺手把它给证了？」
徐辰也有些哭笑不得。
他就想来吹个水，结果一不小心又灭掉了一个公开猜想。
不过，这次的经历也让他对陶哲轩的实力有了更直观的认识。
陶哲轩对数学问题的直觉，确实强得可怕，甚至在单一方向的敏
（本章未完，请点击下一页继续阅读）