Ken Ono 谈三种数学模式
AlexKontorovich · x · 2026-07-20
Ken Ono 的这场演讲把数学工作拆成 三种模式：
- Discovery：例子、模式、猜想
- Reasoning：LLM、文献检索、计划、非正式证明/证明草稿
- Verification：形式化陈述、证明助手、已验证证明、可复用库
帖子配图是现场投影片照片。
「研究」频道最新
- ARISE 研究评测 45 个医疗 AI 工具，覆盖 1100 个会诊案例 — HealthcareAIGuy · 2026-07-21
- 异步 OPD 蒸馏在数学任务上提速约两倍 — _lewtun · 2026-07-21
- 一个预测建模教训：只看 R2 为什么会更糟 — mdancho84 · 2026-07-21
- Google DeepMind 分享 Project Genie 的创作者协作幕后 — alexanderchen · 2026-07-21
- Nat Lambert 反驳 RL 蒸馏直接用最强模型当老师 — natolambert · 2026-07-21
- 线程称 GPT-5.6 Sol 帮忙构造出 Jacobian 猜想反例工厂 — LucaAmb · 2026-07-21