实体 Richard Taylor

Richard Taylor

PulseAugur coverage of Richard Taylor — every cluster mentioning Richard Taylor 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 条

SIGNIFICANT · CL_236877 · Sep 5 · 01:17

Anthropic 的 Claude AI 在 11 天内完成费马大定理形式化证明 · 跟踪 1 个来源

Anthropic 的 Claude AI 已成功完成了费马大定理的首个端到端、计算机可验证的形式化证明。该 AI 系统在包括 Tianyi Peng 在内的研究人员的指导下，利用了大约 1300 万行 Lean 代码和超过 30,000 个中间定理，在短短 11 天内完成了这一壮举。这一成就显著加速了此前耗时数年、由人类主导的形式化定理的努力，展示了 Claude 在复杂数学推理和大规模代码生成方面的先进能力。该项目利用了一个名为 …