PulseAugur
中
实时 11:53:07
实体 The Annals of Mathematics

The Annals of Mathematics

PulseAugur coverage of The Annals of Mathematics — every cluster mentioning The Annals of Mathematics 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_327812 ·

    形式化数学定理揭示菲尔兹奖得主工作中的错误

    Kevin Buzzard 讨论了一项实验,其中《数学年刊》上的 50 个定理使用 Lean 证明助手进行了形式化。此过程揭示了由菲尔兹奖得主撰写的四个定理包含不准确之处,原因是遗漏了次要假设。这些假设通常由人类专家假定,但对于形式验证至关重要。