实体 AnnalsChallenge

AnnalsChallenge

PulseAugur coverage of AnnalsChallenge — every cluster mentioning AnnalsChallenge across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_300554 · Oct 15 · 04:00

新数据集将《数学年刊》的定理形式化，用于AI基准测试

研究人员推出AnnalsChallenge，一个包含自2020年以来发表在《数学年刊》上的50个已形式化定理陈述的新数据集。这些陈述使用Lean 4和Mathlib精心手写而成，每个形式化都经过人工审查和后续的AI审计。该数据集不包含正式证明，旨在为评估AI驱动的数学形式化进展提供一个强大的基准。