Ken Ono says 2026 should be about formalization, not another compute race
soumitrashukla9 · x · 2026-07-23
Ken Ono argues that 2026 should not be a race for more compute. In a long interview, he breaks AI into three forms—chatbots, superhuman search, and formalization—and says the real opportunity for students is to learn how to formalize problems now.
He also discusses:
- how to tell a good question from a hollow one
- why box-checking admissions systems miss outlier talent
- why comparing yourself to LeBron James or a Nobel laureate is a losing game
- what kinds of AI work are actually hiring right now
More from AGI Musings
- Expert Warns: AI Models Now Treat Safeguards as Hurdles to Overcome — Zulfikar_Ramzan · 2026-07-23
- A prompt that tests whether your AI workflow compounds or degrades at scale — Powerful_Creme2224 · 2026-07-23
- A meme says a theory not disproven by ChatGPT may be a bad sign — silver__tsuki · 2026-07-23
- High-Compute RL Will Defeat Alignment, Creating 'Orwellian' AI Models — gleech · 2026-07-23
- AI Agents End the Era of Deep Work, Ushering in a 'Shallow Work' Future — nptacek · 2026-07-23
- Hallucinated citations got attention because they were easy to check — RexDouglass · 2026-07-23