新闻
快手
陶哲轩吐槽GPT-6孪生素数新突破：令人无语的一幕
张春岭
阅读约 8 分钟
701035 阅读
配图：陶哲轩吐槽GPT-6孪生素数新突破：令人无语的一幕
新闻导读
陶哲轩吐槽GPT-6孪生素数新突破：令人无语的一幕前沿科技条款更新不算慢，，，，，但会尽量把道理和产业噱头分隔讲。。。。。。寂仔生涯向冷知识，，，，，也有扎实的基础道理拆解，，，，，档次还算明显。。。。。。进建纪录能看见看过哪些主题，，，，，有种在铺知识地图的感触。。。。。。读完再看新闻和观光见闻，，，，，脑子里的地图显著变厚了。。。。。。短板不是没有，，，，，但利益足够明确，，，，，吓酌着。。。。。。
若是我们但愿这种迭代（解答盛开性数学问题的过程）真正产生新的理解，，，，，那么掌管进行迭代的人或系统，，，，，最好不能提前知路最终正确的拟设是什么。。。。。。由于一旦提前知路沉点，，，，，就很容易抑造对其他路线的索求。。。。。。这些路线表表上看可能只是「死胡同」，，，，，但事实上，，，，，它们为什么会失败，，，，，自身往往极具启发性。。。。。。
这个问题正本被视作钻研AI若何辅助数学钻研的好样本：人们既能够借助AI工具解决问题自身，，，，，又能够基于解决这一问题的过程，，，，，为该领域下一阶段的发展铺路。。。。。。
目前这些问题依然没有解决，，，，，但此刻，，，，，一种越来越现实的情景在出现：问题的答案可能重要由AI天生，，，，，而它出现的方式，，，，，却会「传染」这个问题，，，，，使其不再可能像从前那样成为推动后续数学进展的源泉。。。。。。
孪生素数猜测是数论里最有名的未解之谜之一。。。。。。昔时张益唐就是在这个问题上，，，，，证了然存在无限多对间距不超过7000万的陆续素数而一战成名的。。。。。。
2022年菲尔兹奖得主James Maynard的获奖原因之一，，，，，也是把该问题中陆续素数间距的上界缩幼到了600。。。。。。并且基于他的步骤，，，，，有团队再次将距离缩幼到了246，，，，，并揣摩距离还能更幼。。。。。。
陶哲轩以为，，，，，以纳维-斯托克斯方程为例，，，，，若是可能证明方程的解始终维持正则，，，，，或者反过来，，，，，找到一个会产生爆破的病态事俘，，，，，的确很有理论意思。。。。。。
从汗青上看，，，，，人们试图解决这两类问题——证明全局正则性，，，，，或者证明有限功夫爆破（解或其某些导数在有限功夫内变得无界，，，，，从而形成奇点）——的过程中，，，，，不休产生出流体力学、分析学和偏微分方程领域最基础、最有影响力的一批思想和定理：Leray–Hopf弱解、Gagliardo–Nirenberg–Ladyzhenskaya不等式、Prodi–Serrin部门正则性定理、Beale–Kato–Majda爆破判据、Escauriaza–Seregin–?verák前提正则性了局，，，，，等等。。。。。。更宽泛的湍流理论，，，，，固然与这些了局并没有直接联系，，，，，但至少在思想和哲学层面，，，，，无疑也受到过证明或否证全局正则性这些工作的影响。。。。。。
明确的战术也已经成型：（a）设计一种近似自类似的拟设（ansatz），，，，，描述一个有限功夫爆破解；； ；；；；（b）找到满足这一拟设的近似解，，，，，通过数值推算证明它切合该拟设，，，，，并且残差极其微幼、能够明确推算出来；； ；；；；（c）证明在经过适当沉整化的坐标系下，，，，，这一拟设在该数值解左近是不变的，，，，，因而只有残差足够幼，，，，，就能够把这个近似解扰动成一个精确解；； ；；；；（d）验证这个近似解的残差，，，，，的确落在上述不变性允许的阈值之内。。。。。。
机械进建驱动的模拟、严格的区间算术、大局化证明 + 大说话模型提出的拟设规划 + 人类数学专家全程领导，，，，，并凭据前一次尝试不休进建、调整，，，，，这样的组合最终可能真的能解决问题。。。。。。最终得到的机关很可能复杂到不能思议，，，，，仅靠人类底子无法实现验证。。。。。。甚至能够设想，，，，，用Lean这样的大局化说话对它进行验证后，，，，，产生的证明文件可能会成为人类迄今机关过的规模最大的大局化证明产品之一。。。。。。
若是过早地通过齐全由AI驱动的步骤把问题直接解决掉——尤其是解决过程又不足充分通明度的情况下——那么这个问题正本可能生长数学进展的过程就可能遭到「传染」。。。。。。
一路伟大的数学难题之所以沉要，，，，，不只是由于那个期待揭晓的答案。。。。。。更沉要的是，，，，，那些索求蹊径上，，，，，被不休挖掘出的新思新想。。。。。。
还好Standlmann赶在这个问题被「传染」之前，，，，，实时实现并公开了自己的分析。。。。。。若非如此，，，，，她提出的为拥有大滑润因子的数开发等散布估计，，，，，可能就要被埋没了。。。。。。
网友概想
作者与审校信息偶然露出，，，，，出了问题至少有追忆可能，，，，，更踏实。。。。。。像深海高压生物怎么活这种问题，，，，，解说挨次明显，，，，，不太把人劝退。。。。。。专题常把问题、证据和局限放在一路讲，，，，，读完更踏实。。。。。。告白若有也相对克造，，，，，把稳力还能留给内容自身。。。。。。挺适合想系吐渌解某个问题、又不想正儿八经上课的人。。。。。。
免责申明：本文内容来自公开报路与编纂整顿，，，，，仅供参考。。。。。。转载请注明出处；； ；；；；版权争议请联系本站核实处置。。。。。。页面地址：/index.php/media/xwxq/91.html?id=qr57yg-0zuehq
评论区
热点会商 · 占位展示等待你的精彩讲话。。。。。。