OpenAI заявила про три наукові прориви ШІ, які можуть змінити науку

OpenAI заявила про три нові наукові результати, отримані за допомогою штучного інтелекту. Вони стосуються математики, інформатики та квантової фізики й можуть вплинути на подальші дослідження в цих галузях. Для перевірки результатів компанія залучила незалежних науковців, які мають оцінити докази та пояснити їхнє значення.

Перший результат стосується математичної гіпотези про локальне згладжування, яку досліджують із 1991 року. За твердженням OpenAI, її моделі створили доказ для всіх вимірів простору. Це також означає розв’язання пов’язаних із нею гіпотез Какеї та Стейна. Компанія опублікувала текст доказу та його формалізовану версію, перевірену за допомогою системи Lean.

Другий результат стосується гіпотези експоненційного часу (ETH), яку широко використовували в теорії складності обчислень. OpenAI стверджує, що її система довела хибність цієї гіпотези, а доказ додатково формалізували в Lean. Для незалежної перевірки створили групу за участю фахівців із теорії алгоритмів. Якщо результат підтвердиться, це може змінити уявлення про складність багатьох обчислювальних задач.

Третє дослідження стосується квантової фізики. За заявою OpenAI, моделі підготували математичні докази існування певних квантових теорій поля, зокрема квантової хромодинаміки та теорії Янга — Міллса. До оцінювання роботи залучили групу фізиків під керівництвом Девіда Гросса. Науковці самостійно працюватимуть над поясненням результатів, перш ніж їх оприлюднять.

OpenAI наголошує, що всі три результати потребують ретельного вивчення та незалежної оцінки наукової спільноти. Компанія планує надати дослідникам матеріали для перевірки й підтримувати подальші дослідження. Водночас заяви про ці відкриття поки слід розглядати саме як результати, представлені OpenAI, а не як остаточно підтверджений науковий консенсус.