OpenAI заявила про три нові наукові результати, отримані за допомогою штучного інтелекту. Вони стосуються математичних гіпотез, складності обчислень і квантової фізики, повідомляє The Verge. Незалежні дослідники мають вивчити представлені докази та оцінити їхню правильність.
Які наукові проблеми намагається розв’язати OpenAI
У математиці модель OpenAI створила доказ гіпотези про локальне згладжування хвильового рівняння в евклідовому просторі.
Новий доказ може допомогти розв’язати ще дві давні математичні проблеми — гіпотези Какеї та Стейна. Однак правильність цих результатів ще мають перевірити незалежні науковці.
OpenAI оприлюднила безпосередній результат роботи моделі, щоб математики могли самостійно проаналізувати аргументацію.
Другий результат стосується інформатики. OpenAI заявила, що її ШІ знайшов спосіб швидше розв’язувати складні обчислювальні задачі, які раніше вважалися надзвичайно трудомісткими.
За словами компанії, це може спростувати гіпотезу експоненційного часу (ETH). Вона передбачає, що для розв’язання певних задач зі збільшенням обсягу даних необхідно дедалі більше часу.
Третє відкриття стосується фізики. OpenAI повідомила, що її модель створила математичний доказ існування квантових теорій, які описують взаємодію елементарних частинок.
Серед них — квантова хромодинаміка та теорія, що об’єднує положення Стандартної моделі фізики частинок.
Повний текст фізичного дослідження компанія поки не оприлюднила. Заявлені результати ще потребують незалежної наукової перевірки.
Хто перевірятиме результати штучного інтелекту
На відміну від попередньої публікації великої кількості математичних матеріалів, цього разу OpenAI залучила зовнішніх експертів до роботи з результатами.
Доказ щодо ETH перевірятиме незалежна група науковців на чолі з Расселом Імпальяццо, Рамамоханом Патурі та Раяном Вільямсом. Експерти вирішили одразу опублікувати результати роботи ШІ, зокрема доказ у системі Lean, щоб інші дослідники також могли його перевірити.
Науковці також опублікували відкритого листа, у якому запропонували обговорити правила роботи з науковими результатами, створеними ШІ. Зокрема, вони порушили питання раннього доступу до доказів, розкриття конфліктів інтересів і визнання внеску дослідників, які перевіряють та пояснюють результати.
Перевірку фізичної роботи координуватиме Девід Гросс. До групи також увійдуть Майкл Дуглас, Артур Джаффе, Ігор Клебанов і Нікіта Некрасов.
Чому підхід OpenAI викликав дискусію
Питання перевірки ШІ-доказів уже стало темою обговорення серед математиків.
Консультативна група AGMAI, створена за участю OpenAI, виступила проти практики, коли окремі науковці отримують результати ШІ раніше за інших.
Серед ризиків, які назвала група: нерівний доступ, використання репутації експертів для підвищення довіри до результатів і можливу упередженість під час їхнього відбору.
Натомість консультанти рекомендували публікувати результати у відкритих наукових репозиторіях. Вони також запропонували додавати формалізовані докази Lean та пояснювати принципи вибору задач.
Окремо група наголосила на необхідності підтримувати дослідників, які займаються перевіркою та поясненням ШІ-доказів.
