又一个FrontierMath开放问题被攻克

Reddit r/ArtificialInteligence 论文
frontiermath math-benchmark ai-research problem-solving arxiv mit

摘要

报道称，FrontierMath基准测试中的另一个开放问题已被解决，并附有麻省理工学院数学家Bjorn Poonen的研究论文链接。

暂无内容
查看原文
查看缓存全文

缓存时间: 2026/08/11 05:30

# 马蒂厄群 M_23 是 Q 上的伽罗瓦群 作者：Xiaoyu Huang、Blake Jackson、Kyu-Hwan Lee、Bjorn Poonen、Rachel Pries、Shaowu Zhang 许可协议：http://creativecommons.org/licenses/by/4.0/ 学科分类：math.NT、math.AG、math.GR

相似文章

FrontierMath Erdős

arXiv cs.CL

本文介绍了FrontierMath Erdős，这是一个包含68个开放性Erdős问题的基准测试，用于使用Lean证明助手评估数学领域的AI模型，旨在解决当前AI研究演示中的不足。

OpenFrontiers：开放研究问题集与科学再发现基准

arXiv cs.AI

OpenFrontiers 推出了一个跨学科语料库，包含 12,151 个尚未解决的研究问题，以及一个由 200 个近期已解决的数学问题组成的回溯性基准，这些问题均附有 Lean 4 形式化陈述。该研究评估了七个大语言模型智能体，发现它们在闭卷条件下重新发现研究级成果的情况仍然罕见，而在实时联网条件下取得的成功则主要源于检索已发表的解答。

FrontierMath现已正式宣布椭圆曲线秩问题已解决

Reddit r/singularity

Anthropic的内部AI模型Claude通过发现秩为30和31的曲线，解决了椭圆曲线秩问题，打破了此前29的记录。该成果是FrontierMath挑战的一部分，并由Claude与研究人员Levent Alpöge和Ava Howell共同完成。