苏菲拉底 THE SOPHIE LAB

文库问题头脑手记关于

← 返回文库

形式化工具会让数学研究从独行走向大规模协作吗？

1 期内容在回应这个问题

Terence Tao – How the world’s top mathematician uses AI

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