Socrate AI Lab

A laboratory method for AI-assisted science: formal proof, exact arithmetic, controlled experiment, and a claim ledger, tested for a month on the Navier-Stokes problem

Large language models produce mathematics and physics that read well and are sometimes wrong, and the discipline that has grown up around them is verification: proof assistants for proofs, and now public registries that check whether a repository proves what it claims. That discipline is necessary and it stops at the p...