Theorem wants to stop AI-written bugs before they ship — and just raised $6M to do it

A Century of Noether's Theorem

Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover

Lean proof of Fermat's Last Theorem [pdf]