实体
Formal Conjectures
Formal Conjectures
PulseAugur coverage of Formal Conjectures — every cluster mentioning Formal Conjectures across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 2
层级分布 · 90 天
主题
时间线
- 2026-05-13 research_milestone Introduction of the Formal Conjectures benchmark for AI in mathematics. 来源
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新的基准数据集 Formal Conjectures 旨在让 AI 参与数学研究
研究人员推出 Formal Conjectures，这是一个旨在评估自动化推理系统在数学领域能力的基准数据集。该数据集包含超过 7,500 个以 Lean 4 形式化的数学问题陈述，包括开放性研究猜想和已解决的问题。该基准旨在连接数学家与 AI 系统，以促进协作发现和验证，并已为新的数学发现和近期研究成果的正式确认做出了贡献。
-
Formal Conjectures benchmark 推动数学发现的AI研究
研究人员推出 Formal Conjectures，一个旨在评估数学领域自动化推理系统的新基准。这个在 Lean 4 中形式化的、不断发展的数据集，包含超过 2600 个数学问题陈述，其中包括 1029 个开放研究猜想和 836 个已解决问题。该基准促进了数学家与 AI 系统之间的协作，并已为解决开放猜想做出贡献，展示了其在推动 AI 驱动的数学发现方面的潜力。