PulseAugur
中
实时 20:19:19
实体 Andrew Wiles

Andrew Wiles

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

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_236598 ·

    Anthropic的Claude AI自主证明费马大定理

    Anthropic研究员Peng Tianyi详细介绍了AI模型Claude如何在11天内自主证明了费马大定理。该AI生成了1300万行Lean代码，并证明了29,500个中间定理，从而实现了该定理的首次计算机验证证明。这一成就被视为AI在形式化和验证复杂数学证明方面能力的重要一步，有望减轻评估新数学成果的负担。