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.
Methodology
Mathematical result papers
19
Formalizations using foundational axioms only (Kernel-Only)All theorem dependencies checked
9
Public frameworks Proof Engine 1.0 and 2.0
2

Latest mathematical cases

All mathematical results (19)

Peer-reviewed publications

Published & accepted