Level 2: The Margulis–Platonov conjecture over number fields

A
D
V
E
R
T

I
S
E
M
E
N
T

LEVEL 2 OF 2 · The Margulis–Platonov conjecture over global fields

The Margulis–Platonov conjecture over number fields

expertly designed by an internal OpenAI model · released 2026-09-23 · original PDF

LEVEL FAILED TO LOAD

We couldn't convert this paper's source. You can still play it as a PDF.

How to play: We prove the Margulis–Platonov conjecture over number fields. For an absolutely almost simple simply connected group, every noncentral abstract normal subgroup of its rational points is the inverse image of an open normal subgroup of the product of its anisotropic nonarchimedean local groups.

« Level 1 Back to game page

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