苏菲拉底 THE SOPHIE LAB

文库问题头脑手记关于

← 返回文库

形式化证明助手如何改写数学的信任与协作方式？

1 期内容在回应这个问题

Terence Tao at IMO 2024: AI and Mathematics

陶哲轩 · 主持人 · 2024-08-21

12 章 · 94 词

苏菲拉底向最好的头脑提问 · ASK THE BEST MINDS 一人，一实验室 · 关于 →