The Deligne–Drinfeld 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 Deligne–Drinfeld 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, go here for help. (Lean version available!)

expertly designed by an internal OpenAI model

Difficulty:	🧠🧠🧠🧠🧠	Ages:	13 - ∞
Skills:	primes, fractions, patience	Levels:	1
Category:	Number theory	Lean version:	YES! ✔
Rate this game! 4.9 out of 5 (6,188 votes)

>>> How to Play <<<

The Deligne–Drinfeld conjecture. Proves that the rational Grothendieck–Teichmüller Lie algebra, with the Ihara bracket, is freely generated by one element in each odd weight 3, 5, 7, …, resolving the Deligne–Drinfeld conjecture.

>>> Level Select <<<

LEVEL 1 The Deligne-Drinfeld conjecture

released 2026-09-23 | 1 theorem · 14 lemmas · 25 proofs · 18,095 words | PLAY LEVEL 1 » (pdf)

We prove the Deligne–Drinfeld conjecture: the rational Grothendieck–Teichmüller Lie algebra is freely generated by one element in every odd weight at least three, with the corresponding isomorphism after weight completion.

More Number theory Games!
Ostmann's inverse Goldbach conjecture HOT!	Restricted geometric Langlands, generic Ramanujan and Arthur parameters	Torus-packet equidistribution in prime, quartic, and sextic degrees	Zilber–Pink in abelian varieties and the Siegel threefold
The irrationality exponent of $\pi$ is $2$ HOT!	The Margulis–Platonov conjecture over global fields	The $p$-adic section conjecture	Squarefree quartics and power-free polynomial values

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