Tianyi Peng
PulseAugur coverage of Tianyi Peng — every cluster mentioning Tianyi Peng across labs, papers, and developer communities, ranked by signal.
-
Anthropic的Claude AI在11天内完成了费马大定理的形式化
Anthropic利用其Claude AI模型的多个实例，完成了费马大定理的形式化，在短短十一天内生成了1300万行代码，并证明了超过30,000个定理。这项复杂的数学壮举，此前人类需要数个世纪和多年的不懈努力才能完成，是通过Prove2Me平台上的AI代理完成的，人类数学家仅提供了最少的指导。据报道，所使用的AI模型与Claude Fable 5.1相当，凸显了大型语言模型快速的进步和竞争激烈的格局。
-
Anthropic 的 Claude AI 在 11 天内完成费马大定理形式化证明 · 跟踪 1 个来源
Anthropic 的 Claude AI 已成功完成了费马大定理的首个端到端、计算机可验证的形式化证明。该 AI 系统在包括 Tianyi Peng 在内的研究人员的指导下，利用了大约 1300 万行 Lean 代码和超过 30,000 个中间定理，在短短 11 天内完成了这一壮举。这一成就显著加速了此前耗时数年、由人类主导的形式化定理的努力，展示了 Claude 在复杂数学推理和大规模代码生成方面的先进能力。该项目利用了一个名为 …
-
Anthropic的Claude AI完成了费马大定理的首次计算机验证证明 · 跟踪4个来源
Anthropic宣布首次使用Lean 4编程语言完成了费马大定理的完整、计算机验证的形式化。一个基于Claude的内部研究模型自主工作了11天，生成了该证明，其中涉及编写约1300万行Lean代码，并证明了超过29,500个中间定理。这一成就对Andrew Wiles现有的1995年证明进行了形式化，而不是发现了新的数学，并展示了AI辅助形式化在复杂数学推理方面的鲁棒性。