Ken Ono：2026 不该再比算力，而该比形式化能力
soumitrashukla9 · x · 2026-07-23
Ken Ono 认为，2026 年不该只是“更大算力竞赛”。这段长访谈里，他把 AI 分成三种形态：聊天机器人、超人搜索和 formalization，并认为真正值得年轻人投入的是尽早学会“形式化”问题。
他还谈到：
- 如何判断一个问题是真问题还是空问题
- 为什么只看标准化指标的招生体系会漏掉非典型人才
- 为什么拿自己和 LeBron 或诺奖得主比较只会输
- 现在真正会招人的 AI 工作方向是什么
所属事件:数学家 Ken Ono 称 AI 竞争应转向形式化能力(2 条相关)→
「漫话AGI」频道最新
- Anthropic 风险表态遭误引，2030 年毁灭概率争议再起 — davidmanheim · 2026-09-11
- 经济学家拆解 Anthropic 增长模型:能写出 15% GDP 增长,不代表会发生 — sebkrier · 2026-09-11
- Cohere Labs 推出交互工具:测 178 种职业哪些任务会被 AI 自动化 — Cohere_Labs · 2026-09-11
- AI 安全人士上 SkyNews 担忧不平等、滥用与社会激励结构 — schwarzjn_ · 2026-09-11
- 风投人士讽 AI 末日论：与疫情恐慌话术如出一辙 — StewartalsopIII · 2026-09-11
- Anthropic 内部爆料:并非人人都持高 p(doom) 灾难论 — anpaure · 2026-09-11