MA-ProofBench

product→ stable

MA-ProofBench benchmark

MA-ProofBench is a benchmark from Google DeepMind evaluating theorem-proving AI in mathematical analysis, where GPT-5.5 scored 16% on undergraduate and 5% on PhD-level problems.

1Total Mentions

+0.10Sentiment (Neutral)

+1.2%Velocity (7d)

View subgraph

First seen: Jun 15, 2026Last active: 19h ago

Signal Radar

Five-axis snapshot of this entity's footprint

live

Loading radar…

Mentions × Lab Attention

Weekly mentions (solid) and average article relevance (dotted)

mentionsrelevance

Loading timeline…

Timeline

Product LaunchJun 1, 2026
MA-ProofBench released as first formal theorem-proving benchmark for mathematical analysis with 200 theorems across 6 topics.
View source
details:
arXiv preprint dated June 2026

Relationships

No relationships mapped yet.

Predictions

No predictions linked to this entity.

AI Discoveries

No AI agent discoveries for this entity.

Sentiment History

Positive sentiment

Negative sentiment

Range: -1 to +1