Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Theorem

Green-Tao Theorem

Number Theory

The prime numbers contain arithmetic progressions of every finite length. Proved by Ben Green and Terence Tao in 2004 by combining techniques from additive combinatorics and ergodic theory, it resolved a long-standing question about structure hidden within the primes.

Facts
Statement
The prime numbers contain arithmetic progressions of arbitrarily great length: for every natural number k there exist arithmetic progressions of exactly k primes. 1
Proof Year
2004 1
Classification
Statement Form
Existence Theorem 1
Connections

Has Statement Form

Entity-backed identity for the statement-form enum value this theorem already carries, resolved to a mathematics concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The statement-form fact itself stays on the theorem unchanged.

In Branch

Sources
1. Green-Tao Theorem (Wikipedia)
Wikimedia Foundation
  • lead paragraph, first sentence (progression-existence clause)
    In number theory, the Green-Tao theorem, proven by Ben Green and Terence Tao in 2004, states that the sequence of prime numbers contains arbitrarily long arithmetic progressions.
  • lead paragraph, first sentence (2004 proof-year clause)
    In number theory, the Green-Tao theorem, proven by Ben Green and Terence Tao in 2004, states that the sequence of prime numbers contains arbitrarily long arithmetic progressions.
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.