乌鲁木齐防火门专用胶厂家 Anthropic没能证明黎曼猜想,但60个子智能体破了科研纪录


万能胶厂

当地时间8月10日,Anthropic披露,其未公开的研究版Claude模型在尝试解答数学界顶悬赏难题“黎曼猜想”时虽未直接通关乌鲁木齐防火门专用胶厂家,却借助多Agent自协作,改进了黎曼ζ函数满足黎曼假设的点比例这长期存在的下界。

黎曼ζ函数的“非平凡点”与素数分布密切相关。黎曼猜想认为所有点都在条特定的临界线上。但由于法证明,数学转而尝试确定个保底比例,即可以严格证明至少有多少比例的点定位于该临界线上。这个被严格证实的比例数值被称为该比例的下界。此前人类数学耗费数十年将其进至41.6,而此次Claude将其举提升到了67.2。

据披露,整个试验仅起始于Anthropic员工Jarred Sumner在晨跑时突发奇想,给Claude下了个任务:尝试证明黎曼猜想。黎曼猜想提出167年了,克雷数学研究所为它悬赏100万美元,至今人能解。

Claude果然也没成功,但过程中,模型搭建起约60个子智能体,在Claude Code里跑了天半,执行2400条Shell命令,写了数百个Python脚本。终真正想出关键思路的只有两个Agent,整场消耗了3100万输出token(词元),将已知位于临界线上的黎曼ζ函数点比例下界到了67.2。

Anthropic内部数学验证了论文乌鲁木齐防火门专用胶厂家,Claude生成Lean形式化证明。但官也强调:不指望这套法终能证明黎曼猜想。

Claude的发现并非孤例。5月,OpenAI内分享了对Erdős单位距离猜想的AI生成的反证,菲尔兹得主Timothy Gowers评价是“AI自主产生的具趣味的数学成果”。8月,OpenAI宣布出面向学术研究人员的ChatGPT计划,为10万名科学和数学费提供出的ChatGPT模型,同步披露OpenAI在维几何、编码理论、术电路复杂、群论、子代数等域的研究成果。

上述成果串联起来指向同个信号:AI4S(AI for Science,人工智能驱动科学发现)这个提多年的概念,在2026年从战略口号变成了真实的产出线。

2024年AI刚拿IMO金时,人们还在用“能解中奥数题”衡量它的智力。到了2026年乌鲁木齐防火门专用胶厂家,它已经开始改写数学纪录,月均个重大数学突破几乎成为常态。

人才流向能说明问题。今年7月,新晋菲尔兹得主Jacob Tsimerman在现场宣布加入OpenAI。这位多伦多大学数论学曾是AI风险的严肃批评者,但在审阅了OpenAI模型构造的反例证明后被说服,转而投身AI安全与形式化验证。

另外,AlphaFold核心人物、诺得主John Jumper离开Google DeepMind,泡沫板橡塑板专用胶加入Anthropic,带去了结构生物学域顶的实战经验。

AI公司从AI工程师,到菲尔兹得主、诺得主、理论物理学和基因组学大牛,原因很简单:当AI从聊天进化到做科研时,决定天花板的,是那些懂如何拓展人类知识边界的人。

而这背后的影响因素,是AI角变了。过去,AI可以是好用的计器,跑数据、搜文献。现在,Claude已经能够自己组织60个Agent协同工作数十小时,发现问题、验证结论、写出论文,还建议人类复核。Anthropic CEO Dario Amodei表示:不要只把AI看作分析数据的工具乌鲁木齐防火门专用胶厂家,要把它看作能端到端完成科学工作的智能体。其次,做科研的式变了,AI科研能力的快速提升正在倒逼科研范式的变革。

此次Anthropic披露Claude模型在解答黎曼猜想过程中的成果,真正重要的不是67.2这个数字,而是通过过程本身告诉行业:头部AI模型已经可以立去做那些人类几十年不动的事了。

就像Anthropic在博客后所写:“也许Claude和我们许多人样,低估了AI进步的速度。” 举报 财经广告作,请点击这里此内容为财经原创,著作权归财经所有。未经财经书面授权,不得以任何式加以使用,包括转载、摘编、复制或建立镜像。财经保留追究侵权者法律责任的权利。如需获得授权请联系财经版权部:banquan@yicai.com 文章作者

吕倩 相关阅读 为什么AI还不会科学发现?这是人工智能的终考题

资本与学术界共同将目光投向了AI4S(AI for Science)这个被视为“科学研究四范式”的战场。 19954 07-22 21:28 AI4S重塑创新版图,科研发现周期有望从年缩短到天

AI for Science(AI4S)正在经历场角跃迁。 27828 07-20 16:21 谷歌连失AI大牛,诺得主转投Anthropic

未来,跨学科人才、有数据集与伦理理将成为核心竞争力。 29998 06-20 08:42 全栈自研!中科曙光发布6万卡AI4S集群

从2025年12月发布到2026年2月3万卡同步上线,再到4月扩展至6万卡,中科曙光仅用不到半年时间就完成了国产万卡AI集群从发布到真机落地的全过程 720 04-15 20:38 贝森特、鲍威尔紧急召集华尔街管,Anthropic“强模型”让美政府紧张

美国财政部长贝森特和美联储主席鲍威尔7日召集华尔街管举行紧急会议,讨论该模型的安全风险。 9 1029 04-10 13:12 财热 点击关闭相关词条:玻璃棉毡     塑料挤出机     预应力钢绞线    铁皮保温    万能胶生产厂家

奥力斯    PVC管道管件粘结胶价格     联系人:王经理    手机:18231788377(微信同号)    地址:河北省任丘市北辛庄乡南代河工业区/p>

1.本网站以及本平台支持关于《新广告法》实施的“极限词“用语属“违词”的规定,并在网站的各个栏目、产品主图、详情页等描述中规避“违禁词”。
2.本店欢迎所有用户指出有“违禁词”“广告法”出现的地方,并积极配合修改。
3.凡用户访问本网页,均表示默认详情页的描述乌鲁木齐防火门专用胶厂家,不支持任何以极限化“违禁词”“广告法”为借口理由投诉违反《新广告法》,以此来变相勒索商家索要赔偿的违法恶意行为。