26 жовтня 2026 року OpenAI оголосила про три результати, нібито отримані її моделями: доказ у гармонічному аналізі, спростування важливої гіпотези з теоретичної інформатики та результат про існування квантових теорій поля. Компанія назвала рукописи «сирими дослідницькими даними» й заявила, що зовнішні фахівці мають допомогти перетворити їх на наукове розуміння. Це не означає, що результати вже незалежно підтвердили.
13
26
Про що заявила компанія
Математика: гіпотеза про локальне згладжування
За словами OpenAI, її моделі довели гіпотезу Крістофера Согге про локальне згладжування хвиль у кожній просторовій вимірності. Согге висунув цю гіпотезу 1991 року. Компанія також заявила, що результат дає наслідки для задач Какеї та обмежень Стейна.
13
В історії репозиторію OpenAI на GitHub опис конкретніший: там ідеться про доведення для просторових вимірностей від двох і вище, наслідки для максимальних і розмірнісних гіпотез Какеї, а також оцінки Стейна для сферичних обмежень у внутрішній частині передбаченого діапазону. Автори описують використання допоміжного рівняння в частинних похідних і вказують на рукопис із формалізацією в Lean.
2
Інформатика: експоненційна часова гіпотеза
OpenAI також заявила, що її модель спростувала експоненційну часову гіпотезу (ETH) — припущення про складність розв’язання задач булевої виконуваності. За повідомленнями, модель підготувала ймовірне спростування 16 жовтня, а статтю та доказ оприлюднили.
1
11
Доступні матеріали не дають змоги встановити точний обсяг твердження про алгоритм підрахунку розв’язків або всі деталі його складності. Тому ці характеристики не варто вважати остаточно з’ясованими, доки фахівці не перевірять сам доказ.
Фізика: існування квантових теорій поля
Третя заява стосується існування певних чотиривимірних квантових теорій поля, зокрема квантової хромодинаміки (КХД), яка описує сильну взаємодію між кварками й глюонами.
4
11 Фізичні матеріали не оприлюднили, а доступні джерела не дають змоги встановити точне формулювання теореми чи підтвердити, що результат відповідає вимогам задачі тисячоліття Інституту Клея.
4
6
Що опублікували, а що залишили для перевірки
Математика. OpenAI оприлюднила математичні рукописи й формалізації в Lean на GitHub. В історії репозиторію сказано, що такий спосіб публікації вже застосовували 6 жовтня.
2
Інформатика. Статтю про ETH і доказ також описували як відкриті для ознайомлення. Русселла Імпальяццо, Рамамохана Патурі та Раяна Вільямса попросили організувати зовнішній розгляд твердження. Вільямс повідомив, що група працюватиме без оплати й не підписувала угод про нерозголошення. Їхня участь сама собою не є підтвердженням результату.
1
11
19
Фізика. На відміну від математичних матеріалів, фізичні вирішили не публікувати — за повідомленнями, це було рішенням фізичної групи.
4 OpenAI пояснила, що ширша роль зовнішніх «провідників» — збирати фахівців, які допоможуть розібратися в результатах.
13
У повідомленнях про анонс також згадувався внесок у розмірі 5 мільйонів доларів до Фонду Саймонса на проведення семінарів. Сам факт фінансування не свідчить про те, що наукові заяви вже перевірено.
11
Що наразі можна вважати встановленим
Анонс підтверджує, що OpenAI зробила ці заяви й обрала різні способи оприлюднення та перевірки матеріалів. Але він не доводить, що докази правильні чи що відповідні наукові спільноти їх прийняли. У повідомленнях одразу після анонсу зазначалося, що незалежної перевірки ще не було.
4
24
Особливо важливо не робити висновок, що фізичний результат розв’язує задачу Інституту Клея: наявної інформації для цього недостатньо. Загалом відкриті рукописи, формалізації в Lean і робота експертів — це етапи наукової перевірки, а не її підсумок.