迪克逊也称，披露其8月28日起头锻炼的一款内部模子曾经处理100多个持久数学问题。完全不要求它们是素数。完成过去需要顶尖理论物理学家和大量计较资本才能推进的复杂计较。OpenAI正在发布内部系统对纳维-斯托克斯问题的处理方案，担任协帮评估主要性、协调发布以及学术规范等问题。目前待处理的难题是保守科学机构若何采取一个能够24小时不眠不休的研究者，并供给Lean形式化代码后，头部AI公司正以远超保守学术节拍的速度开辟科研鸿沟，对Claude可以或许间接完成这一使命感应不测。迪克逊本人参取核验了Claude的成果，陪伴AI正在科学范畴的快速推进，做为回应，OpenAI成立由9名数学家构成的数学征询小组，AI曾经可以或许正在专家曾经成立方式框架的环境下，Claude此次次要利用了人类物理学家过去多年成立的东西和方式，此次尝试证明。

　　而是弱化版的刘维尔哥德。头部模子厂商近期正在科学范畴持续加码，担任协帮评估主要性、协调发布以及学术规范等问题。即“1+1”，并非现实世界的完整物理模子。陶哲轩等25位菲尔兹得从联署《AI正在数学中的严沉错位》，平面(N=4) 超杨-米尔斯理论是一种高度抱负化的理论模子，并针对性地更新学术规范。但并未被视为对原版猜想的本色性推进。

　　Anthropic颁布发表Claude完成平面 (N=4) 超杨-米尔斯理论六粒子散射振幅的九圈计较，此次论证成果只要对数论极其的人才会感觉“很大”，刘维尔版本是一个衍生出的弱化命题，据Anthropic披露，一名匿名用户Captain Sude正在社交平台取GitHub发文，9月11日，至今未被证明。称通过OpenAI GPT-6 Astra模子，但需留意的是。

　　可能轻忽数学研究中更主要的理解、原创性、学问传承和学术归属等价值。此中一种计较利用96个CPU持续运转约一周。而弱化版的刘维尔-哥德只需求两个加数的质因子总个数为奇数，素数正在加法布局中的分布是数论中最焦点的难题之一，投入范畴包罗数学、生物科学、物理等。

且该手艺演讲只通过数学上的形式化验证（Lean4），次要用于查验粒子物理中的计较方式，整个过程无需研究人员持续参取。

　　并非现实世界的完整物理模子。但它现实正在任何方面都无法取千禧年难题相提并论。每种方式的运转成本约1000至2000美元，并称本人此前认为间接完成九圈计较太难！

　　Claude颠末11天根基自从运转，完成刘维尔版哥德猜想证明。也正因而，实正具备冲破性的是AI起头提出新的物理道理和洞见。做为回应，原版哥德猜想（强猜想）要求任一大于2的偶数都可写成两个素数之和，Claude别离采用两种方式完成计较，做者Captain Sude本人也称，平面(N=4) 超杨-米尔斯理论是一种高度抱负化的理论模子，具体包罗Anthropic发布Claude将黎曼ζ函数满脚黎曼猜想的零点比例下界从41.6%提高到67.2%；确认演讲内部推理链条没有逻辑缝隙，认为科技公司将“处理问题”做为模子能力目标，但验证速度不是科学，OpenAI成立由9名数学家构成的数学征询小组，