Crab Research

Proof Engine

Mathematics research programme

Our flagship programme studies how to do mathematics reliably with AI. Independent papers cover computer science, economics, ethics, and governance.

Two complementary frameworks. Proof Engine 1.0: proof development through claims, proof and evidence. Proof Engine 2.0: research governance through questions, prior work and objectives.

1.0/Proof development

Claims, evidence and dependencies

Construct, verify and connect mathematical results.

2.0/Research governance

Questions, contributions and changing objectives

Steer inquiry, track contributions and adapt direction.
Research agenda & methodology
Mathematical result papers
16
Proofs from foundational axioms only (Kernel-Only)All theorem dependencies checked
9
Public frameworks Proof Engine 1.0 and 2.0
2

Peer-reviewed publications

Published & accepted

Latest mathematical cases

All mathematical results (16)