苏菲拉底 THE SOPHIE LAB
文库 问题 头脑 手记 关于
文库

ICM 2026 Public Lectures - Terence Tao

一百年前的数学基础危机，能为今天的 AI 冲击提供什么启示？当机器能产出证明，数学家凭什么判断一个结果值得信任？
来源：https://www.youtube.com/watch?v=M0--ZH1lOzg · 内容由苏菲拉底翻译整理，仅供个人学习使用

这期还没有生成总结。

这期还没有生成核心句型（制作精读 PDF 时会一并生成）。

这期还没有生成生词表（制作精读 PDF 时会一并生成）。

这期还没有生成自测题（制作精读 PDF 时会一并生成）。

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