UCLA 专访陶哲轩:数学家如何看待 AI 与 AlphaProof
saikatsg · hn · 2026-10-14
UCLA Newsroom 杂志发表对数学家陶哲轩的长篇专访，谈数学的艺术以及 AI（如 AlphaProof 等）正在如何改变数学研究方式，涉及人机协作做数学的思路与对 AI 辅助证明的判断。
「漫话AGI」频道最新
- VC 观点：离不开 Vercel 和 AWS，说明 AI 时代还远未到头 — StewartalsopIII · 2026-10-23
- 「反脆弱互联网」：agent 时代攻击成本趋零，防御端也是靶子 — rebeccakaden · 2026-10-23
- 数学博士生宣布离开学术界：AI 正让数学变得面目全非 — pickover · 2026-10-23
- 微软披露：黑客用 agentic AI 框架攻击 2250+ 个 M365 租户 — rickasaurus · 2026-10-23
- Andreessen：AI 原生公司与传统企业的认知差距史无前例 — juanbenet · 2026-10-23
- 仅 2% 美国人为 AI 付费，博主预测三年内渗透率将达 50% — JOBhakdi · 2026-10-23