Ken Ono 谈三种数学模式
AlexKontorovich · x · 2026-07-20
Ken Ono 的这场演讲把数学工作拆成 三种模式：
- Discovery：例子、模式、猜想
- Reasoning：LLM、文献检索、计划、非正式证明/证明草稿
- Verification：形式化陈述、证明助手、已验证证明、可复用库
帖子配图是现场投影片照片。
「研究」频道最新
- UC伯克利联合 NVIDIA 发布 AW-0:真实机器人操控成功率 71.1 分远超基线 — trevordarrell · 2026-10-27
- AW-0 机器人模型实测:RoboTwin 50 项任务成功率 80.8% 远超基线 — trevordarrell · 2026-10-27
- AW-0 用代码流改变世界模型预测:同一指令下精准选中目标物体 — trevordarrell · 2026-10-27
- AW-0 发布:代码+视频+动作三专家联合生成的智能体世界动作模型 — trevordarrell · 2026-10-27
- AW-0 训练配方:3000 小时演示蒸馏出 50 个可复用技能程序 — trevordarrell · 2026-10-27
- AW-0 世界动作模型发布：一个生成式模型同时管规划、预测与控制 — trevordarrell · 2026-10-27