Inilah ng OpenAI noong Oktubre 26, 2026 ang mga natural language proof ng tatlong matagal nang hindi nalulutas na resulta gamit ang kanilang model, na hindi pa nasusuri ng mga independiyenteng tagasuri. Ang tatlong resulta ay ang lokal na pagkakasaligan na may kaugnayan sa Kakeya conjecture, ang pagkamali ng Exponential Time Hypothesis, at ang pagkakaroon ng kumpletong pagpapalawig ng quantum chromodynamics at standard model; ang proof ng pagkakaroon ng Yang–Mills ay ginawa noong Setyembre 9, ngunit ang pagpapalabas ay inilatag hanggang Oktubre 16 matapos matapos ang Lean formalization ng resulta. Ang ilang komentador na may background sa complexity theory ay naniniwala na ang pagkabigo sa ETH ay may pinakamalaking epekto, dahil ito ang pundasyon ng maraming resulta tungkol sa kahirapan at mga lower bound.