Hilbert's tenth problem over Q 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

Hilbert's tenth problem over $\mathbb Q$

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:	primes, fractions, patience	Levels:	2
Category:	Number theory	Lean version:	not yet
Rate this game! 4.4 out of 5 (1,297 votes)

>>> How to Play <<<

Hilbert’s tenth problem over ℚ. Proves that no algorithm decides whether an integer-coefficient polynomial in an arbitrary number of variables has a rational zero, resolving Hilbert's tenth problem over ℚ negatively.

>>> Level Select <<<

LEVEL 1 Hilbert’s tenth problem over the rational numbers

released 2026-10-06 | 2 theorems · 18 lemmas · 28 proofs · 30,155 words | PLAY LEVEL 1 » (pdf)

We give a negative answer to Hilbert's tenth problem over the rational numbers: no algorithm decides whether a polynomial with integer coefficients has a rational zero. The number of variables is part of the input.

LEVEL 2 A pointwise 2-converse for elliptic curves with rational two-torsion

released 2026-10-07 | 6 theorems · 47 lemmas · 71 proofs · 48,360 words | PLAY LEVEL 2 » (pdf)

We prove a pointwise 2-converse for elliptic curves over $\mathbf Q$ with nonzero rational two-torsion: if the $2^\infty$-Selmer corank is zero or one, then the analytic rank and Mordell–Weil rank equal that corank, and the Shafarevich–Tate group is finite. The result allows arbitrary reduction at 2.

More Number theory Games!
Erdős’s short Egyptian-fraction conjecture PLAYABLE!	Positive lower density of large prime gaps	Integral density on curve character varieties	The Gaussian moat conjecture PLAYABLE!
Artin's primitive root conjecture: infinitude for every base HOT!	Modularity over imaginary quadratic fields	Uchida's conjecture for open Galois homomorphisms	Milne's rationality 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