Wesum AI

陶哲轩

人物

著名数学家,指出AI工具和形式化验证系统已显著降低数学研究门槛

3 次提及4 个连接首次出现: 2026-04-02最近出现: 2026-04-27

关系图谱

关系 (4)

顾问 (1)

应用于 (1)

合作 (1)

领导 (1)

相关文章 (3)