OpenAI оголосила 26 жовтня 2026 року, що її модель надала природною мовою доведення трьох довгостроково нерозв’язаних результатів, які ще не підтверджені незалежно. Ці три результати стосуються: локальної гладкості, пов’язаної з гіпотезою Какея; спростування гіпотези про експоненційний час; існування повноти квантової хромодинаміки та стандартної моделі. Доведення існування Yang–Mills було згенероване 9 вересня, а його публікація була відкладена до 16 жовтня після завершення формалізації результату у Lean. Коментатори зі знаннями у галузі теорії складності вважають, що спростування ETH має найбільший вплив, оскільки воно є основою для багатьох результатів про складність та нижні оцінки.