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
A look at Axiom, which is building AxiomProver, an "AI mathematician" it claims has solved at least four previously unsolved math problems (Will Knight/Wired)
Main Link | Techmeme Permalink
2026-02-05T07:06:06.250Z