OpenAI оголосила, що її штучний інтелект зробив три величезні наукові відкриття в галузях математики, інформатики та фізики: доведення гіпотези Какея в гармонічному аналізі, спростування експоненціальної гіпотези (ETH) у теорії обчислювальної складності та строге доведення існування чотиривимірної квантової теорії поля (включаючи QCD та стандартну модель).Автор статті, джерело: AIBase
Недавно OpenAI офіційно оголосила, що її штучний інтелект зробив три великі наукові відкриття в галузях математики, комп’ютерних наук і фізики, які стосуються гармонічного аналізу, теорії обчислювальної складності та квантової теорії поля. Щоб перетворити ці передові первинні дослідження на справжнє наукове розуміння, OpenAI інноваційно спробувала нову модель глибокого співробітництва ззовнішнім академічним співтовариством і розробила різноманітні стратегії публікації для досягнень у різних галузях.
У галузі гармонічного аналізу модель успішно довела гіпотезу локальної згладженості для всіх вимірів, тим самим безпосередньо розв’язавши відому математичну гіпотезу Какеї та гіпотезу обмеження Штейна. Новий доказ ґрунтується на новому допоміжному диференціальному рівнянні з частинними похідними. OpenAI опублікувала на відкритому GitHub-репозиторії звіт з AI-генерованим природним мовою, а також доказ у Lean.
У галузі інформатики система довела, що гіпотеза про експоненційний час (ETH), яка довгий час вважалася істинною, є хибною. Ця гіпотеза тісно пов’язана з відомою проблемою P проти NP і раніше широко використовувалася сотнями наукових статей для виведення умовної обчислювальної складності. Цей результат також було підтверджено за допомогою Lean. Ця робота була передана на перевірку та керівництво групою провідних експертів під керівництвом Рассела Імпагліаццо, Рамамохана Патурі та Райана Вільямса, а відповідні результати та формалізований доказ у Lean уже опубліковано на GitHub.
У галузі фізики модель надає математично строгого доведення існування певних квантових полевих теорій взаємодій у чотиривимірному просторі, що містять калібрувальні поля та ферміони (включаючи квантову хромодинаміку (QCD) та уніфіковану та повну версію Стандартної моделі фізики частинок), де до підпроблем належить доведення існування чистої теорії Yang–Mills, що також є частиною тисячолітніх призовых завдань Інституту математики Клее. Ця складна робота була розроблена групою фізиків під керівництвом Девіда Гроса (включаючи Майкла Дугласа, Артура Джaffe, Ігоря Клебанова та Нікіти Некрасова).
Для всебічної підтримки незалежного академічного розгляду та глибокого обговорення цих проривових досягнень OpenAI раніше надала грант у розмірі 5 мільйонів доларів США Фонду Сімонса для фінансування відповідних семінарів, конференцій та спеціальних проектів. Ця серія заходів не лише демонструє величезний потенціал ШІ у дослідженнях на передових рубежах фундаментальної науки, а й свідчить про те, що сучасна теоретична фізика та математика прискорюють свій рух до більш строгих стандартів.