AI破解黎曼猜想取得重大突破：零点比例提升至67.2%
创始人
2026-08-11 19:10:55
0次
今日，人工智能研究公司Anthropic宣布，其尚未公开的研究版AI模型Claude在解决数学界著名的黎曼猜想问题上取得了重大进展。在一次自主完成的数天测试中，Claude将黎曼ζ函数临界线上零点比例的长期下界从41.6%提高至67.2%。这一成果是在ClaudeCode中实现的，模型在两次测试中共生成了3,100万个输出Token，并在650次失败尝试后，调集60个子级智能体继续推进研究，累计执行2,400条Shell命令，并编写了数百个Python脚本。
Anthropic的这一突破性进展得到了内部数学家莱文特·阿尔波格和拉尔夫·弗曼的验证，并且交由外部数论专家布赖恩·康雷和丹·戈德斯顿审阅。员工埃里克·伊斯利还协助将证明写成可由Lean验证的形式。Claude此次的研究结合了多位数学家的既有研究框架，构造了一个合适的函数空间，并在其中引入由韦伊诱导的二次型，利用一阶矩和二阶矩信息，直接建立了二次型秩的不等式。Anthropic还公布了Claude撰写的论文，以及可以通过Lean正式验证的证明，但未透露是否会在近期向公众开放上述多智能体能力。
相关内容
热门资讯
视频丨216国道抢通已推进至核...
8月26日上午，因尼泊尔一侧发生泥石流灾害，造成西藏日喀则市吉隆县吉隆口岸重大人员伤亡、失联。抢险救...
半小时就能配齐一台机器人，深圳...
编者按：健康完备的经济生态，是推动高质量发展的重要保障。即日起，南方日报、南方+推出“解码广东经济生...
两宫超1.2万个学位！广州天河...
有剧场、科技馆、体育馆美术馆、书画室、艺创工坊……天河区少年宫新宫 （下称“天河区少年宫”）将于今年...
视频丨西藏吉隆县泥石流灾害抢险...
西藏吉隆县泥石流灾害抢险救援进入第7天。今天（9月1日）上午9时55分，西藏自治区在日喀则市公安局吉...
数智赋能黔山田：从“云端”算力...
近日，2026中国国际大数据产业博览会(简称“数博会”)在贵阳正式拉开帷幕。在这场以“词元——数据要...
8月深圳楼市持续稳固向好 二手...
8月，全市新建商品住宅和二手住宅合计成交6864套，同比增长8.5%，国家统计局发布的一、二手住宅销...
9月5日起，广州黄埔新增设多个...
@黄埔街坊9月5日起黄埔新增设多个公交车站8月30日，广州市交通运输局官网发布《关于优化公共汽车南海...
开学第一课丨我国运载火箭为啥叫...
今年，是中国共产党成立105周年，中国工农红军长征胜利90周年。在中国共产党百余年奋斗历程中，长征，...
新华鲜报|一树扎根沙地 “赛考...
“故事永远不会结束。”9月1日，北京首都国际机场。返程前，美国友人“赛考斯”（本名罗纳德·萨科尔斯基...
各地学校举办丰富多彩“开学第一...
央视网消息：这两天，全国中小学陆续迎来新学期。各地以主题鲜明、形式多样的“开学第一课”，引导学生们厚...