OpenAI оголошує три результати ШІ
26 жовтня 2026 року OpenAI оголосила три результати, які, за її словами, отримали її моделі: доведення гіпотези локального згладжування Соґґе в усіх вимірах, що розв'язує й гіпотезу Какея; спростування гіпотези експоненційного часу (ETH); математично строге доведення існування квантової хромодинаміки та об'єднаного розширення Стандартної моделі, зокрема чистої теорії Янга — Міллса. Рукописи перших двох і їхню формалізацію в Lean OpenAI опублікувала й попросила зовнішніх експертів очолити групи, що перевіряють і пояснюють результати; матеріали з фізики утримано.
Чому це важливо
Це твердження OpenAI про власні моделі, зроблені до будь-якої зовнішньої перевірки: допис пише, що групи на чолі з Імпальяццо, Патурі й Вільямсом (складність) і з Девідом Гроссом (фізика) лише починають розбиратися, а щодо ETH каже, що перевірку в Lean виконано, і просить спільноту допомогти розглянути твердження. Нове — процес випуску: результати передано названим зовнішнім наставникам за трьома різними стратегіями, без угод про нерозголошення, без претензій на академічне визнання, а конференцію про ETH фінансуватиме OpenAI. Якщо спростування ETH витримає перевірку, воно скасує припущення з сотень праць, як сказано в самому дописі; жодна зовнішня сторона на 28 жовтня цього не підтвердила.
Дати. Допис датовано 26 жовтня 2026 року. Репозиторій openai/math на GitHub отримав рукописи (теки з «October-25-2026» у назві) і докази в Lean одним комітом о 20:35 UTC 26 жовтня. Внутрішні дати з допису: вихід ШІ щодо згладжування — 18 жовтня, Lean наступного дня; природномовне спростування ETH — 16 жовтня, Lean — 17 жовтня; доведення існування для Янга — Міллса — 9 вересня, для КХД — 18 вересня, формалізацію Янга — Міллса в Lean завершено 16 жовтня. Рядок дати рукопису про ETH: «17 October 2026, revised 25 October 2026». Що кажуть рукописи. Рукопис про ETH з рядком автора «OPENAI» у резюме дає детермінований алгоритм точного підрахунку виконуючих підстановок довільної k-КНФ за субекспоненційний час і поліноміальну пам'ять і твердить, що це спростовує ETH. Рукопис про згладжування («OpenAI October 25, 2026») твердить доведення гіпотези локального згладжування Соґґе для хвильового рівняння в будь-якому просторовому вимірі, не меншому за два, а також гіпотез Какея й Никодима про максимальні функції. Рукопису з фізики немає: група вирішила утримати матеріали й написати власний виклад. Групи. Для ETH — Расселл Імпальяццо і Рамамохан Патурі (UC San Diego), Райан Вільямс (MIT); OpenAI погодилась оприлюднити всі сирі дані й профінансувати конференцію. Для фізики — Девід Гросс із Дугласом, Джефі, Клебановим і Некрасовим. Принципи: прозорість, без вимог академічного визнання, визнання для груп, незалежність, участь добровільна й неоплачувана. Чого запис не стверджує. Жоден із трьох результатів не підтверджено зовнішніми експертами; файли Lean і рукописи тут не перевірялись, і чи відповідають твердження Lean заявленим теоремам, мають вирішити фахівці. Пошук реакцій 28 жовтня нічого не дав.