Ken Ono: AI Focus Should Shift to Formalization Over Compute

Mathematician Ken Ono argues that the AI focus should shift from compute power to formalization, as AI fundamentally restructures mathematical discovery and research rather than just serving as a new tool.

2026-07-21 ~ 2026-07-23 · 2 related posts

• Ken Ono says AI is forcing mathematicians to rethink how discovery works — soumitrashukla9 · 2026-07-21
• Ken Ono says 2026 should be about formalization, not another compute race — soumitrashukla9 · 2026-07-23