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

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

既然方向定下了，三人索性先做一个小规模的测试，看看他们构想的人机协作流程，到底能达到什么效果。

“找个题目试试手吧。”陶哲轩走到白板前，拿起马克笔，“不能太简单，也不能是那种纯粹的逻辑绝境。”

他思索了片刻，在白板上写下了两个词：Ehrhart体积猜想。

陶哲轩转过身，“这个问题怎么样？”

理查德愣了一下，侧头看向白板上那五个字，神情微微发僵。

“这……”他沉默了两秒，“悬置多久了？”

“二十几年。”陶哲轩平静地说，“全球同时在做这个方向的人，大概不超过五个。”

理查德没有再说话，只是重新看了一眼那行字。

徐辰眼神微微一凝。

这是一个关于整点多面体体积与包含整点数量之间关系的问题，在某些特定维度下结构复杂、计算量惊人，属于那种典型的“人工算不动，传统机器不知道怎么切入”的硬骨头。选它当测试题，确实合适。

“非常合适。”徐辰点头。

徐辰之前搞钓鱼计划时用的那些问题，并不是针对AI的特性单独挑的，而是为了挖人用的，所以并不能最适合数学AI的例子，全靠徐辰自身的数学硬实力力大砖飞。

但陶哲轩挑的这个猜想不一样。它的结构足够规整，局部构型又足够复杂，恰好适合AI在大量候选路径里筛选模式。

……

“接下去，人类先搭框架。”陶哲轩说道。

他开始在白板上飞速书写，构建关于多面体顶点分布的初始假设模型。

几分钟后，徐辰走上前，接过了马克笔。

“低维没问题。”

他在陶哲轩的公式旁补了两行。

“但高维会有麻烦。”

陶哲轩看了一眼：“体积估计失效？”

“对。”

徐辰又写下一条新的不等式。

“加一个算术几何切入点。”

陶哲轩很快明白了他的意思：“用它限制边界构型。”

“嗯。”

“这样搜索空间会小很多。”

理查德站在旁边，看着两位顶尖数学家的思路在白板上飞速碰撞，知道自已这辈子大概率没有机会凭空生出这样的数学直觉。

但他也意识到，自已并不是没用。

他能把这些直觉翻译给机器。

在这个新的研究范式里，这同样是一种能力。

大约二十分钟后，一个高度抽象但逻辑严密的证明框架，被钉在了白板上。

“接下来，看AI。”徐辰说道。

陶哲轩拿着马克笔，侧过头看了理查德一眼，然后不动声色地往旁边退了半步，把正对终端屏幕的位置让了出来。

没说话。就这么一个动作。

理查德愣了一秒，明白了。

他深吸一口气，走过去，坐下，打开终端。

……

他没有简单地把徐辰和陶哲轩的公式输入进去，而是凭借自已多年的经验，将这个抽象框架拆解成了AI更容易理解的提示词模块。

“我设三个并行子任务。”理查德说道。

陶哲轩问：“哪三个？”

“边界条件验证。”

“反例搜索。”

“局部极值逼近。”

他一边说，一边敲键盘。

本章未完，点击下一页继续阅读。