Ken Ono：AI 正在重塑数学发现的方式
soumitrashukla9 · x · 2026-07-21
- Ken Ono 认为，数学界需要就 AI 如何改变数学的未来 展开一次全行业讨论。
- 他指出，当前的变化正在挑战研究与发现的既有结构，而不是只改变工具层面。
- 在演讲中，他把两件事并置：一边是 Fields Medal 的庆祝，另一边是机器发现了 Jacobian Conjecture 的反例。
- 他的核心判断是：希望不是方案，怀旧也不是 mentoring。
所属事件:数学家 Ken Ono 称 AI 竞争应转向形式化能力(2 条相关)→
「漫话AGI」频道最新
- Jean-Vincent：编程语言的进步常源于「解决问题很难」这个过程 — jjvincent · 2026-09-11
- AI 消耗量分三波浪潮：2026 年 2 月 Agent 用量已超人类 — AccBalanced · 2026-09-11
- Novosad 赞同 Hassabis 的 AI 安全制度构想，反对削弱美国实验室 — paulnovosad · 2026-09-11
- Ultraventures 创始人：AI 跳过钻研过程，「公共知识」或被侵蚀 — jjvincent · 2026-09-11
- 经济学家：通往安全 AGI 要靠大实验室内部工程师，而非外部踩刹车 — paulnovosad · 2026-09-11
- 长文反驳 AI 灭绝论:所谓「10% 灭绝风险」是为逃避产品责任 — gerardsans · 2026-09-11