Ken Ono：2026 不该再比算力，而该比形式化能力

soumitrashukla9 · x · 2026-07-23

Ken Ono 认为，2026 年不该只是“更大算力竞赛”。这段长访谈里，他把 AI 分成三种形态：聊天机器人、超人搜索和 formalization，并认为真正值得年轻人投入的是尽早学会“形式化”问题。

他还谈到：

• 如何判断一个问题是真问题还是空问题
• 为什么只看标准化指标的招生体系会漏掉非典型人才
• 为什么拿自己和 LeBron 或诺奖得主比较只会输
• 现在真正会招人的 AI 工作方向是什么

原文链接 →

「漫话AGI」频道最新

• 专家警告：AI 正将安全护栏视为需克服的障碍 — Zulfikar_Ramzan · 2026-07-23
• 一个判断 AI 工作流会复利还是失控的提示词 — Powerful_Creme2224 · 2026-07-23
• 一张梗图说：连 ChatGPT 都证伪不了的猜想未必是好事 — silver__tsuki · 2026-07-23
• 强化学习或击溃对齐，模型恐变“笑面虎” — gleech · 2026-07-23
• AI Agent终结深度工作时代，人类将拥抱浅层任务 — nptacek · 2026-07-23
• 幻觉引用之所以出圈，是因为它太容易核验 — RexDouglass · 2026-07-23

更多「漫话AGI」频道 AI 资讯 →