The irrationality exponent of π is 2 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 irrationality exponent of $\pi$ is $2$

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.5 out of 5 (4,461 votes)

>>> How to Play <<<

The irrationality exponent of π is 2. Proves that the irrationality exponent of π is exactly 2: for every ε > 0 and all sufficiently large denominators q, every rational $p/q$ satisfies $|\pi-p/q|\ge q^{-2-\varepsilon}$. This also proves convergence of the Flint–Hills series $\sum_{n\ge1}1/(n^3\sin^2 n)$, with angles in radians.

>>> Level Select <<<

LEVEL 1 The irrationality exponent of pi is 2

released 2026-09-24 | 2 theorems · 6 lemmas · 11 proofs · 8,767 words | PLAY LEVEL 1 » (pdf)

We prove the conjecture that the irrationality exponent of π is 2. As a consequence, the classical Flint–Hills series $\sum_{n\ge1}1/(n^3\sin^2 n)$ converges, with angles in radians.

More Number theory Games!
Milne's rationality conjecture	The full Birch–Swinnerton-Dyer formula in Selmer coranks zero and one HOT!	The quasi-Riemann hypothesis PLAYABLE!	Hilbert's tenth problem over $\mathbb Q$ HOT!
Irrationality of Catalan's constant HOT!	Goldfeld's conjecture	Two-point Chowla and the corrected binary Elliott conjecture	The Deligne–Drinfeld 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