Patterson’s first moment for cubic Gauss sums 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

Patterson’s first moment for cubic Gauss sums

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

>>> How to Play <<<

Patterson's first moment for cubic Gauss sums. Proves unconditionally the all-primary-prime form of Patterson’s first-moment asymptotic: normalized cubic Gauss sums over primary Eisenstein primes of norm at most X, including both conjugates, have an explicit positive main term of order $X^{5/6}/\log X$. Every fixed nonzero prime-angle Fourier mode has smaller order.

>>> Level Select <<<

LEVEL 1 An unconditional first moment for cubic Gauss sums

released 2026-09-25 | 5 theorems · 12 lemmas · 25 proofs · 22,418 words | PLAY LEVEL 1 » (pdf)

We prove Patterson's first-moment conjecture for normalized cubic Gauss sums over all primary Eisenstein primes, unconditionally. The sharp-cutoff main term is $(6/5)c_*X^{5/6}/\log X$, where $c_*=(2\pi)^{2/3}/(3\Gamma(2/3))$. For every fixed nonzero angular Fourier mode of the prime argument, we also prove cancellation at the first-moment scale.

More Number theory Games!
An asymptotic formula for the number of totients	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

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