Overview
- Zoho co-founder Sridhar Vembu posted on X on Sunday that parts of mathematics that resemble games like chess or Go will be "conquered by AI," and he used that claim to warn the software industry about rapid change.
- Vembu said it increasingly seems that a very large fraction of software code could be produced competently and correctly by AI, framing the risk as a question of how many humans will still be needed.
- He proposed applying formal proof systems such as Lean, which check mathematical proofs step by step, to verify the correctness of AI-generated software and reduce errors in critical code.
- Vembu stressed that some aspects of software work may resist full automation because they involve messy real-world systems, people and group dynamics that go beyond pure symbol manipulation.
- The post prompted broad industry discussion but did not present new technical proof of AI replacing developers; the practical next steps to watch are adoption of formal verification and how engineers adapt their roles.