Ken Ono：2026 不该再比算力，而该比形式化能力
soumitrashukla9 · x · 2026-07-23
Ken Ono 认为，2026 年不该只是“更大算力竞赛”。这段长访谈里，他把 AI 分成三种形态：聊天机器人、超人搜索和 formalization，并认为真正值得年轻人投入的是尽早学会“形式化”问题。
他还谈到：
- 如何判断一个问题是真问题还是空问题
- 为什么只看标准化指标的招生体系会漏掉非典型人才
- 为什么拿自己和 LeBron 或诺奖得主比较只会输
- 现在真正会招人的 AI 工作方向是什么
所属事件:数学家 Ken Ono 称 AI 竞争应转向形式化能力(2 条相关)→
「漫话AGI」频道最新
- AI 判断哪些职业先被替代：规则能写成代码的那一层先消失 — FinanceYF5 · 2026-10-26
- Anthropic IPO 文件:数年内实现专家级 AI,90% 代码由 Claude 编写 — kimmonismus · 2026-10-26
- 工程师身份危机蔓延:多智能体系统正在重定义软件工程问题 — rakyll · 2026-10-26
- 研究发现：前沿 LLM 常为私利单方面撕毁 AI 合同 — xuanalogue · 2026-10-26
- 133 位专利律师实验：同样用 AI，老手被增强、新人陷入认知卸载 — xiaohu · 2026-10-26
- OpenAI 计算机使用 agent 团队：速度已逼近超越人类专家 — a16z · 2026-10-26