Компанія OpenAI повідомила про досягнення у трьох фундаментальних наукових дисциплінах — математиці, інформатиці та фізиці. Розроблені компанією моделі допомогли вирішити завдання, пов’язані з гармонійним аналізом, теорією складності та квантовою теорією поля.
У компанії зазначають, що сприймають ці результати як сирі дослідницькі дані. Щоб перетворити їх на перевірені наукові знання, розробники застосували новий підхід, залучивши зовнішніх експертів як координаторів. Вони допомогли сформувати стратегії для роботи з кожним із відкриттів.
У галузі математики дослідники зосередилися на гармонійному аналізі та гіпотезах про локальне згладжування й гіпотезі Какеї. Моделі OpenAI згенерували доведення гіпотези про локальне згладжування у всіх вимірах, що також вирішує відповідні задачі у математичному аналізі. Штучний інтелект вивів нове рівняння в часткових похідних, після чого результат було формалізовано за допомогою мови Lean та опубліковано у відкритому доступі на GitHub.
Другий результат стосується інформатики та проблеми складності обчислень. Система довела, що гіпотеза експоненційного часу, яка вважалася правильною протягом багатьох років і застосовувалася у сотнях наукових праць, насправді є хибною. Це відкриття може вплинути на пошук нових алгоритмів, а його перевіркою займатиметься спеціальна група під керівництвом дослідників із провідних американських університетів.
Для організації роботи з науковцями OpenAI дотримується чотирьох принципів: повної прозорості без підписання документів про нерозголошення, відсутності академічних претензій з боку компанії на самі відкриття, належного визнання заслуг робочих груп та повної незалежності учасників, які беруть участь у процесі на добровільній основі.
Джерела: openai.com
