Randomized K Server Problem: How OpenAI’s Proof Reaches the Optimal Log² k Bound

Randomized k server problem illustrated by tangled routes and an elegant path across a sculpted landscape.

Two mobile servers can spend forever chasing nearby requests while a better plan moves once and stops. The randomized k server problem asks how much that lack of foresight must cost. OpenAI’s September 24, 2026 preprint gives a squared-logarithmic answer: on every metric space, a randomized online policy can stay within a universal constant times … Read more

Littlewood Polynomials: OpenAI Proof Achieves Near-Perfect Two-Sided Flatness Using Only ±1

Littlewood polynomials illustrated by binary sign tiles forming a luminous ring of nearly constant magnitude.

A polynomial can have only two choices for each coefficient and still face an entire circle of tests. OpenAI’s October 5, 2026 manuscript presents a proof that littlewood polynomials with coefficients ±1 can have magnitude arbitrarily close to their natural square-root scale at every angle, for every sufficiently large integer length. The achievement asserted is … Read more

Hindman Finite Sums and Products Conjecture: OpenAI Proof Finds Order Where Addition Meets Multiplication

Hindman Finite Sums and Products Conjecture illustrated by jade addition and multiplication woven through colored threads.

Choose three positive integers. Add any selection of them, or multiply it. Can every result carry the same color, however someone has colored the number line? The Hindman Finite Sums and Products Conjecture asks for this cooperation between addition and multiplication for every prescribed finite set size. OpenAI’s September 23, 2026 manuscript presents a proof … Read more

Trace Reconstruction: OpenAI Proof Reveals Why Deleted Data Is So Hard to Recover

Trace reconstruction artwork shows different binary crystal structures obscured by frosted glass.

Delete one bit and every later position can become ambiguous. Delete bits independently across repeated copies, and even unlimited computation may need more observations than any fixed polynomial can supply. That is the central result of OpenAI’s September 24, 2026 paper, Quantitative Lower Bounds for Trace Reconstruction. For every fixed deletion probability strictly between zero … Read more

Large Prime Gaps: OpenAI Proof Solves a Longstanding Frequency Puzzle

Large prime gaps represented by recurring chasms in a sculptural ribbon, with the full article title.

A prime desert is easy to admire and surprisingly difficult to count. One enormous gap can contain thousands of empty intervals, making rare events look common. OpenAI’s September 25, 2026 manuscript, Positive Lower Density of Large Prime Gaps, presents a proof that large prime gaps occur with positive lower density: for every fixed positive multiplier, … Read more

Kimi K3.1 Pro: The 3T-Class AI Model Closing In on Claude and GPT-6

Coral bridges connect sculptural islands, illustrating Kimi K3.1 Pro approaching frontier AI performance.

A coding agent can look almost tied with Claude on one test and fall far behind it on the next. Kimi K3.1 Pro makes that tension unusually concrete: Moonshot reports 65.7% on Terminal-Bench 4.0 against Claude Opus 5.5’s 66.4%, yet only 31.5 against Opus’s 65.0 on ProgramBench’s binary scoring. Released October 23, 2026, Moonshot’s new … Read more

Three Machine Scheduling: OpenAI Proof Solves a 47-Year-Old Algorithm Puzzle

Three machine scheduling artwork shows three job streams woven into an ordered schedule beneath the article title.

Six jobs, three machines, and a dependency chain can still leave processors idle. The difficulty is choosing which available work to run now without delaying the finish later. Three machine scheduling turns that familiar coordination problem into a precise mathematical question: can an optimal schedule always be found in polynomial time? OpenAI’s September 24, 2026 … Read more