Mezard Parisi Formula: How OpenAI’s Proof Settled the 22-Year Panchenko–Talagrand Conjecture

Mezard Parisi formula: glass surfaces joined by a branching bridge symbolize the missing lower bound.

A formula can give the right answer for twenty-two years without anyone knowing how to prove it. The Mezard Parisi formula faced precisely that problem: a hierarchy of cavity-field distributions supplied rigorous upper bounds for sparse spin systems, but the matching lower bound remained missing. OpenAI’s September 23, 2026 paper proves that equality for the … Read more

Quantum Heisenberg Ferromagnet: How OpenAI’s Proof Settled a Decades-Old 3D Ordering Problem

Quantum Heisenberg ferromagnet artwork showing collective spin order and the full article title.

A magnet should not need a mathematical permission slip to stay magnetized. Yet proving positive-temperature order in the quantum Heisenberg ferromagnet required much more than showing that neighboring spins prefer alignment. OpenAI’s September 24, 2026 paper supplies that proof for the nearest-neighbor isotropic model on the integer lattice in every dimension d≥3d\geq3, for every positive … Read more

Zauner MUB Conjecture: How OpenAI’s Proof Ruled Out a Fourth Basis After 35 Years

Zauner MUB conjecture artwork showing three interlocking forms and a fourth excluded by a geometric boundary.

Three measurement bases fit. A fourth has resisted every attempt to build it for decades. OpenAI’s new paper tackles that missing basis by covering the possible complex matrices, then eliminating every configuration that could support it. The Zauner MUB conjecture says that dimension six admits exactly three pairwise mutually unbiased orthonormal bases. The supplied manuscript … Read more

Irrational Triangular Billiards: How OpenAI’s Proof Tackles a Decades-Old Ergodicity Mystery

Irrational Triangular Billiards: OpenAI’s Ergodicity Proof illustrated through jade paths and mirrored triangles.

A particle can ricochet inside a triangle forever, obeying one elementary reflection rule, while hiding a difficult question: does its motion explore position and direction in the correct statistical proportions? OpenAI’s September 25, 2026 manuscript presents a proof that irrational triangular billiards are ergodic whenever at least one interior angle is an irrational multiple of … Read more

Spacetime Penrose Inequality: How OpenAI’s Proof Cracked a 53-Year Black Hole Mass–Area Mystery

Spacetime Penrose Inequality artwork showing sculpted enclosing surfaces around a black hole.

A black hole cannot be arbitrarily large while the universe around it carries arbitrarily little mass. Turning that intuition into a theorem has occupied relativists since 1973. OpenAI’s September 27, 2026 manuscript presents a proof of the spacetime Penrose inequality for a broad, precisely defined class of initial data, including moving configurations and disconnected trapped … Read more

Snaky in 21 Maker Moves: How OpenAI’s Proof Ended a 47-Year Tic-Tac-Toe Mystery

Snaky in 21 Maker Moves: a yellow six-cell target beside graphite blocking marks and the full article title.

Six squares were enough to leave a gap in a decades-old classification of tic-tac-toe variants. The shape was Snaky: a straight four-cell body with a two-cell kink. OpenAI’s September 25, 2026 paper, Snaky in 21 Maker Moves, supplies a guaranteed winning strategy from an empty board against every legal defensive response. Maker can finish within … Read more

Laughlin Spectral Gap Conjecture: How OpenAI’s Proof Finally Cracked a 40-Year Quantum Mystery

Laughlin spectral gap artwork showing separated copper energy rings and the full article title.

Knowing the lowest-energy state of a quantum system does not tell you how cheaply it can be disturbed. For the Laughlin state, that missing guarantee has challenged mathematical physics for more than four decades. OpenAI’s September 24, 2026 paper presents a Laughlin spectral gap proof for the full fermionic Haldane interaction on expanding spheres: sufficiently … Read more