OpenAI’s New Matrix Multiplication Bound: ω ≤ 2.25

One result family in OpenAI’s October 2026 mathematics release concerns the exponent ω of matrix multiplication.

#matrixmultiplication #complexitytheory #algorithms #lean

Why 0.878 Is Max-Cut’s Approximation Wall

Max-Cut asks for a split of a graph’s vertices that sends as many edges as possible across the divide.

#maxcut #approximationalgorithms #complexitytheory #uniquenessgames

OpenAI’s Unique Games Claim Is Not P vs NP

A manuscript in OpenAI’s October 2026 mathematics release tackles Unique Games, a conjecture open for more than two decades.

#uniquegames #complexitytheory #nphard #lean