苏菲拉底 THE SOPHIE LAB

文库问题头脑手记关于

← 返回文库

形式化与 AI 协作，会把数学追求的「理解」带向何处？

1 期内容在回应这个问题

ICM 2026 Public Lectures - Terence Tao

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