Subgraph Atlas · centered on entity

MA-ProofBench

product1 mentions· velocity: stable

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.

Two-hop subgraph: this entity, every entity it directly relates to, and every entity those neighbors relate to. Drag a node, scroll to zoom, click to inspect — or click any neighbor and re-center the atlas there.

0 nodes · 0 edges · loading…

companypersonai_modelproductresearch_labbenchmarkframework

drag to move · scroll to zoom · click a node

How to read this: the white-ringed node is MA-ProofBench. Surrounding nodes are direct relationships; the second ring is what those neighbors connect to. Edge thickness scales with source-article evidence. Click any node and choose Center graph here to walk the graph.