Silica Mathematica · the AI mathematics register

What has AI
actually proved?

Follow the claims. Inspect the evidence.
See what has actually been checked.

Explore the evidence

Claims, checks, and everything between.

Problems and theorems, with every claim and proof in one place.

What projects declare, and what an independent check establishes.

Better bounds, new constructions, and the history of each record.