Ken Ono 谈三种数学模式
AlexKontorovich · x · 2026-07-20
Ken Ono 的这场演讲把数学工作拆成 三种模式：
- Discovery：例子、模式、猜想
- Reasoning：LLM、文献检索、计划、非正式证明/证明草稿
- Verification：形式化陈述、证明助手、已验证证明、可复用库
帖子配图是现场投影片照片。
「研究」频道最新
- HF 工程师争论:非生成任务全用因果注意力是在浪费算力 — antoine_chaffin · 2026-09-11
- 智利学者：AI 反馈规模化是医学教育可持续的关键 — julianvarascom · 2026-09-11
- Nature 新研究实现全身器官细胞活动成像,揭示跨器官体级回路 — arjunrajlab · 2026-09-11
- SignNet 1M 手语数据集发布 — ducha_aiki · 2026-09-11
- ECCV26 口头论文：流匹配实现多视角点云配准 — ducha_aiki · 2026-09-11
- InFlux++ 方法发布 — ducha_aiki · 2026-09-11