热度排名 #459
陶哲轩在 2026 国际数学家大会谈 AI 时代的数学
ICM 2026 Public Lectures - Terence Tao
这场公开讲座适合从数学工作的分工听起:找例子、提出猜想、构造证明和检查证明,哪些环节可借工具,哪些仍需要数学判断?
Simons Foundation · 3 串讨论 · 热度 5.314
讨论出处
- Hacker News · 原讨论 ↗2026-08-14 · 帖子分数 3
- Hacker News · 原讨论 ↗2026-08-14 · 帖子分数 2
- Hacker News · 原讨论 ↗2026-08-17 · 帖子分数 2