This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Techmeme
techmeme.com
did:plc:pv7fudnt4dspurzdnyq73pfe
Axiom Math, which uses AI and the Lean language to verify code in much the same way that mathematicians prove math problems, raised $200M at a $1.6B valuation (Cade Metz/New York Times)
Main Link | Techmeme Permalink
2026-03-12T09:56:23.957Z