苏菲拉底 向最好的头脑提问

← 返回文库

当机器能产出证明,数学家凭什么判断一个结果值得信任?

1 期内容在回应这个问题
ICM 2026 Public Lectures - Terence Tao
深度对谈
15 章
苏菲拉底 向最好的头脑提问 · ASK THE BEST MINDS 私享文库 · 内容仅供个人学习