第623章研究院的后续工作二数学AI 2

一秒记住【笔趣阁】
biquge365.net，更新快，无弹窗！

    既然方向定下了，三人索性先做一个小规模的测试，看看他们构想的人机协作流程，到底能达到什么效果。
    「找个题目试试手吧。」陶哲轩走到白板前，拿起马克笔，「不能太简单，也不能是那种纯粹的逻辑绝境。」
    他思索了片刻，在白板上写下了两个词：Ehrhart体积猜想。
    陶哲轩转过身，「这个问题怎么样？」
    理察愣了一下，侧头看向白板上那几个字，神情微微发僵。
    本书首发台湾小説网→??????????.??????,提供给你无错章节，无乱序章节的阅读体验
    「这……」他沉默了两秒，「悬置多久了？」
    「二十几年。」陶哲轩平静地说，「全球同时在做这个方向的人，大概不超过五个。」
    理察没有再说话，只是重新看了一眼那行字。
    徐辰眼神微微一凝。
    这是一个关于整点多面体体积与包含整点数量之间关系的问题，在某些特定维度下结构复杂丶计算量惊人，属于那种典型的「人工算不动，传统机器不知道怎么切入」的硬骨头。选它当测试题，确实合适。
    「非常合适。」徐辰点头。
    徐辰之前搞钓鱼计划时用的那些问题，并不是针对AI的特性单独挑的，而是为了挖人用的，所以并不能最适合数学AI的例子，全靠徐辰自身的数学硬实力力大砖飞。
    但陶哲轩挑的这个猜想不一样。它的结构足够规整，局部构型又足够复杂，恰好适合AI在大量候选路径里筛选模式。
    ……
    「接下去，人类先搭框架。」陶哲轩说道。
    他开始在白板上飞速书写，构建关于多面体顶点分布的初始假设模型。
    几分钟后，徐辰走上前，接过了马克笔。
    「低维没问题。」
    他在陶哲轩的公式旁补了两行。
    「但高维会有麻烦。」
    陶哲轩看了一眼：「体积估计失效？」
    「对。」
    徐辰又写下一条新的不等式。
    「加一个算术几何切入点。」
    陶哲轩很快明白了他的意思：「用它限制边界构型。」
    「嗯。」
    「这样搜索空间会小很多。」
    理察站在旁边，看着两位顶尖数学家的思路在白板上飞速碰撞，知道自己这辈子大概率没有机会凭空生出这样的数学直觉。
    但他也意识到，自己并不是没用。
    他能把这些直觉翻译给机器。
    在这个新的研究范式里，这同样是一种能力。
    大约二十分钟后，一个高度抽象但逻辑严密的证明框架，被钉在了白板上。
    「接下来，看AI。」徐辰说道。
    陶哲轩拿着马克笔，侧过头看了理察一眼，然后不动声色地往旁边退了半步，把正对终端屏幕的位置让了出来。
    没说话。就这么一个动作。
    理察愣了一秒，明白了。
    他深吸一口气，走过去，坐下，打开终端。
    ……
    他没有简单地把徐辰和陶哲轩的公式输入进去，而是凭藉自己多年的经验，将这个抽象框架拆解成了AI更容易理解的提示词模块。
    「我设三个并行子任务。」理察说道。
    陶哲轩问：「哪三个？」
    「边界条件验证。」
     「反例搜索。」
    「局部极值逼近。」
    他一边说，一边敲键盘。
    「再加一个权重惩罚。」
    徐辰问：「防止无效穷举？」
    「对。」
    理察点头。
    「还有一个形式化检查器做兜底。」
    陶哲轩说道：「很好。」
    回车键按下。
    连接着研究院超算中心的算力集群开始运转。
    屏幕上，几条任务链同时展开。
    ……
    随后三人继续在白板前讨论。
    「这里要不要加凸性条件？」理察问。
    陶哲轩摇头：「太强了，会丢掉一般性。」
    徐辰说道：「可以换成弱凸。」
    陶哲轩想了想：「对，弱一点。」
    理察敲了几下键盘：「我让模型重新权重。」
    几分钟后。
    陶哲轩指着一行推导：「这个地方不自然。」
    徐辰说道：「因为它在用低维直觉。」
    理察马上说：「我加一个高维反例约束。」
    徐辰看了他一眼。「你反应挺快。」
    理察愣了一下，随即有些不好意思：「以前被模型坑多了。」
    陶哲轩认真点头：「这确实是个经验。」
    ……
    三人你一言我一语，整个过程不像正式报告，更像一次非常日常的办公室闲聊。
    但如果有离散几何方向的学者站在旁边，恐怕会听得头皮发麻。
    因为他们随口丢出来的每一句话，落到纸面上，都可能是一篇普通教授要琢磨半个月的关键观察。
    就在三人聊得兴起时，连接着AI算力集群的大屏幕上，突然弹出了一行绿色提示。
    【验证所有维度猜想成立。】
    【证明结构已生成。】
    办公室里安静了一瞬。
    理察是第一个反应过来的。这感觉，简直就像是他和科比合砍了82分！
    虽然科比拿了81分，他只拿了1分，但以后在简历上，他完全可以理直气壮地写上一笔：【曾与徐辰丶陶哲轩共同攻克Ehrhart体积猜想】！
    其他两人倒没有那么激动。陶哲轩看着屏幕，转头看向徐辰，脸上露出了一个复杂的表情。
    「徐……我们好像……顺手把它给证了？」
    徐辰也有些哭笑不得。
    他就想来吹个水，结果一不小心又灭掉了一个公开猜想。
    不过，这次的经历也让他对陶哲轩的实力有了更直观的认识。
    陶哲轩对数学问题的直觉，确实强得可怕，甚至在单一方向的敏锐度上，和自己不相上下。
    自己强在LV.4数学带来的全领域视野，可以随时从其他学科调取工具和思路，进行降维打击。
    而陶哲轩，则是在他深耕的领域里，把直觉和灵感发挥到了极致。
    更可怕的是这种组合。
    陶哲轩的顶级直觉，加上在数学AI领域摸爬滚打多年的理察，两者结合在一起，爆发出的科研力量，隐隐已经能和自己这个拥有外挂的人平起平坐了。
    看来，把陶哲轩和理察挖来，绝对是自己近期做过的最正确的决定之一。
    ……

章节报错（免登陆）

验证码：提交关闭

第623章 研究院的后续工作 二 数学AI 2

第623章研究院的后续工作二数学AI 2