2022年，专家预测AI大约在2050年能写出可发表的数学定理，并在2033年左右赢得普特南数学竞赛。而LLMs今年就做到了这两项！！！

Reddit r/ArtificialInteligence 新闻
ai-progress llms mathematical-theorems putnam-exam predictions surprise-achievement

摘要

LLMs已经实现了AI关于可发表数学定理和普特南数学竞赛成功的预测，远远提前于时间表。

暂无内容
查看原文

相似文章

LEAP：利用代理框架增强LLMs在形式数学中的能力

arXiv cs.AI

LEAP是一种代理框架，使通用LLMs能够在Lean中实现形式定理证明的最新性能，解决了2025年普特南竞赛的全部12个问题，并在新基准（Lean-IMO-Bench）上将形式化证明率从低于10%提升至70%，超越了专门系统。

@FinanceYF5: Google新论文：让LLM解数学竞赛题，正确率从10%跳到70%。 【LEAP框架】不让模型一次写完整证明，而是把问题拆成目标树，边做边从Lean验证器的反馈里学，复用已证过的引理。 结果：Putnam 2025全部12题解出，IMO风…

X AI KOLs Timeline

Google新论文提出LEAP框架，将数学问题拆解为目标树，利用Lean验证器反馈进行学习，使LLM在数学竞赛题上的正确率从10%提升至70%，解决了Putnam 2025全部12题，并在IMO基准上超越专用金牌级系统。