Wesum AI

PFR猜想形式化

事件

陶哲轩等人拆分子任务开放全球协作，使用Lean自动核验，三周完成形式化

1 次提及2 个连接首次出现: 2026-06-20最近出现: 2026-06-20

关系图谱

关系 (2)

使用技术 (1)

Lean

领导 (1)

陶哲轩

相关文章 (1)