OpenAI заявила про три нові результати в математиці, фізиці та інформатиці
OpenAI заявила про три результати в математиці, інформатиці та фізиці й залучила науковців до їхньої перевірки.
Компанія OpenAI оголосила про три результати, які назвала значними відкриттями у математиці, комп’ютерних науках і фізиці. Для перевірки двох із них компанія залучає зовнішніх науковців, яких називає «шерпами», тоді як матеріали щодо математичної роботи оприлюднила для самостійного вивчення дослідниками.
Математика та інформатика
Як повідомляє The Verge, OpenAI опублікувала на GitHub результати, що, за її твердженням, містять доведення гіпотези локального згладжування для хвильового рівняння Евклідового простору в усіх просторових вимірах від двох. Компанія також заявила, що ця робота розв’язує гіпотезу Какеї та оцінки сферичного обмеження Стейна у відповідному діапазоні.
Інший результат, за заявою OpenAI, стосується експоненціальної часової гіпотези. Компанія стверджує, що її робота описує детермінований алгоритм точного підрахунку задовільних наборів значень для КНФ-формул фіксованої ширини за субекспоненційний час і поліноміальну пам’ять. Випадок задачі 3-SAT, за версією OpenAI, спростовує експоненціальну часову гіпотезу.
Зовнішня перевірка результатів
Перевірку роботи з інформатики координуватиме незалежна група науковців на чолі з Расселом Імпальяццо, Рамамоганом Патурі та Раяном Вільямсом. Імпальяццо і Патурі входили до групи, що запропонувала експоненціальну часову гіпотезу 1999 року. На прохання цієї групи OpenAI одразу зробила доступними текст, створений моделлю, та формальне доведення в Lean.
У фізиці OpenAI повідомила про математично строге доведення існування певних взаємодіючих квантових теорій поля з калібрувальними полями та ферміонами у чотирьох вимірах, зокрема квантової хромодинаміки та єдиного завершення Стандартної моделі. Повні матеріали про цей результат компанія не оприлюднила. Супровід роботи має очолити Девід Гросс разом із Майклом Дугласом, Артуром Джаффе, Ігорем Клебановим і Нікітою Некрасовим.
Водночас дорадча математична група AGMAI рекомендувала компаніям ШІ не обмежувати первинний доступ до результатів обраними людьми. Серед запропонованих підходів — публікація матеріалів у наукових репозитаріях, формалізовані в Lean доведення, пояснення добору задач і фінансування фахівців, які аналізуватимуть результати.
