AI Automation Challenges Theory CS's Elite Status

Google researcher Shai Milanfar joked that theory computer scientists, long seen as the field's elite, are now the first to be automated by AI, while others counter that AI theorem provers using Lean 4 formalization could turn theoretical results into practical impact.

2026-09-21 ~ 2026-09-21 · 2 related posts

• Theoretical computer scientists are losing their cool as theory is automated by AI first — docmilanfar · 2026-09-21
• Formalizing Problems in Lean 4 So AI Theorem Provers Can Find Proofs Automatically — satnam6502 · 2026-09-21