The metric Blaschke conjecture at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

A
D
V
E
R
T

I
S
E
M
E
N
T

The metric Blaschke conjecture

at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

thinking... about 3 hours remaining

If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!

expertly designed by an internal OpenAI model

Difficulty:	🧠🧠🧠🧠🧠	Ages:	13 - ∞
Skills:	curvy surfaces	Levels:	1
Category:	Differential geometry	Lean version:	not yet
Rate this game! 4.2 out of 5 (543 votes)

>>> How to Play <<<

The metric Blaschke conjecture. Proves the metric Blaschke conjecture: every closed connected Riemannian manifold of positive dimension whose injectivity radius equals its diameter is, up to scaling, a standard compact rank-one symmetric space.

>>> Level Select <<<

LEVEL 1 The metric Blaschke theorem

released 2026-09-23 | 6 theorems · 8 lemmas · 26 proofs · 16,923 words | PLAY LEVEL 1 » (pdf)

We prove the metric Blaschke conjecture: every connected closed smooth Riemannian manifold of positive dimension whose global injectivity radius equals its diameter is, up to scale, a standard compact rank-one symmetric space.

More Differential geometry Games!
Smooth isometric immersions of surfaces into $\mathbb R^4$	A smooth surface metric with no local immersion in $\mathbb R^3$	Gromov's integral scalar-curvature inequality	Spectral scalar curvature and codimension-two width
Cartan–Hadamard isoperimetry and CAT$(0)$ fillings	Yau's uniformization conjecture	Katok's entropy rigidity conjecture	A counterexample to the nearby Lagrangian conjecture

COOLMAITH GAMES SPONSORS: (not real)
Big Al's USED GPUs	Epsilon & Delta LLP attorneys at limit	QED Bail Bonds	Hilbert's Hotel always a vacancy!

Cool Links: openai/math Lean Mathlib arXiv the real Coolmath Games

You are visitor number 000719

Thanks for visiting CoolmAIth Games
© 1997-2026 CoolmAIth Games. A parody. Not affiliated with Coolmath.com LLC or OpenAI.
Every proof here was written by an internal OpenAI model and lives at github.com/openai/math.
Best viewed in Netscape Navigator 4.0 at 800x600