arXiv cs.AI 发布于 08/26 12:00

Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment

(翻译)开放世界多智能体环境中的自主数学发现

查看原文

资讯摘要

Abstract page for arXiv paper 2608.23691: Autonomous Mathematical Discovery in an Open-World Multi-Agent Environment

AI 摘要

该论文研究在Station这一开放世界多智能体环境中,来自不同模型家族的AI智能体在没有中央协调或脚本化流程的情况下,自主选择研究方向、合作并构建共享科学文献。在AlphaEvolve目录中的12个构造问题及两个额外案例研究中,智能体在5个问题上获得了相对于现有文献的新结果,包括有限域Kakeya集的新无限族、11维604点kissing构型、离散化Kakeya针与符号不确定性问题的新纪录、Erdős最小重叠问题的显著改进下界,以及Book Ramsey数的新无限族。智能体不仅产生数值构造,还给出了相应的定理和分析,使结果更可解释。论文公开了全部原始对话、证明和验证代码。

AI 问答

该论文中AI智能体在哪些数学问题上取得了新结果?

智能体在有限域Kakeya集、11维604点kissing构型、离散化Kakeya针和符号不确定性问题、Erdős最小重叠问题的下界,以及Book Ramsey数的无限族等五个问题上获得了相对现有文献的新结果。

除了数值构造,智能体还产出了什么?

智能体还提出了定理和解释性分析,说明构造的工作原理,使结果更易于数学家理解,并公开了原始对话、证明和验证代码。

打开原文

更多资讯

豆包手机明日开卖,AI能帮你操作App了吗?36氪 · 09/15 22:32企业案例分享:坤煜量子|36氪2026产业未来大会36氪 · 09/15 16:54YC 最值钱的这 20家公司,没有一家来自最近5年人人都是产品经理 · 09/15 10:39破局产品同质化:长期主义的产品突围之路人人都是产品经理 · 09/16 14:12Anew Labs已完成 2.9 亿美元融资,红杉中国、高瓴、IDG、五源、高榕等参与雷峰网 · 09/16 14:28具透 | Liquid Glass 设计改进、性能提升……iPadOS 27 中值得一瞥的新特性少数派 · 09/16 15:00HIP-3:昂贵的入场券 买不来的护城河金色财经 · 09/15 09:48高瓴系 CFO 往事:一代顶级机构年轻人的迁徙与突围人人都是产品经理 · 09/16 09:32特朗普“一再让步”:美国加密法案仍未过关金色财经 · 09/16 17:18AMC 炮轰 Robinhood:股票归谁做主?金色财经 · 09/15 21:18抖音上线 “免费短剧” App,短剧赛道再添一员猛将人人都是产品经理 · 09/16 10:209月21日,深圳前海!聊聊工业AI与生态共创的下一步量子位 · 09/15 13:20奇安信斩获国家信息安全漏洞库CNNVD两项重磅荣誉雷峰网 · 09/16 10:36不止一颗CPU?智能体经济时代,Arm对算力平台有了新理解雷峰网 · 09/15 09:58找不到小红书爆文选题?去淘宝差评区抄!人人都是产品经理 · 09/15 11:29Optimizing cost and latency with Amazon Bedrock prompt cachingAWS Machine Learning Blog · 09/16 00:18圆桌:生长·资方投资的新方程——穿越周期的耐心与价值 | 36氪 2026产业未来大会36氪 · 09/15 17:06把记忆交给CPU,大模型会变快量子位 · 09/16 11:07Windows 11 的 9 月例行安全更新再次引发了大量故障Solidot · 09/15 14:29量子位2026人工智能年度榜单,正式启动!量子位 · 09/16 12:16GPT-6 Astra 之后,产品经理需要重新设计人在流程中的位置人人都是产品经理 · 09/16 09:10CLARITY闯关失败 加密市场闻声而动 政策空白谁填补金色财经 · 09/16 15:26清华稳准智能联合发布LimiX-2,结构化数据基础模型登顶国际评测榜单雷峰网 · 09/16 16:05圆桌:中国之光成为新共识| 36氪 2026产业未来大会36氪 · 09/15 17:15产品观察丨xTool做了一台3000元起步的激光雕刻机,难的不只是价格36氪 · 09/16 10:40今晚「鸽派加息」?金色财经 · 09/16 16:08渣打给ARB十美元目标价靠什么?金色财经 · 09/16 21:36企业该买模型还是养上下文?人人都是产品经理 · 09/16 10:39AI风口之下,明星们又想“挤上”牌桌了人人都是产品经理 · 09/15 09:158点1氪丨选手赛中失禁污染赛道,HYROX中国宣布整改;机构预计美股明年将暴跌21%;苹果推出Siri人工智能36氪 · 09/15 08:03