Наука
🤯
Поки ШІ «закривав» гіпотезу унікальних ігор, математики поспішали опублікувати власні результати
Quanta Magazine · 7 жовт. 15:08
Троє комп’ютерних науковців — Дор Мінцер з MIT та його аспіранти Юмоу Фей і Шуо Ван — пришвидшили публікацію свого дослідження після того, як 11 вересня поширилися чутки, що OpenAI нібито довела гіпотезу унікальних ігор. Їхня 95-сторінкова стаття, викладена за три дні, стосувалася суміжного питання, а не самої гіпотези, але була зустрінута тепло, зокрема Раяном О’Доннеллом з Carnegie Mellon. Згодом, 6 жовтня, OpenAI справді оголосила про доведення гіпотези разом із ще 376 результатами в різних галузях математики.
❧
Чому це важливо
Гіпотеза унікальних ігор — знакова відкрита проблема теорії складності обчислень. Її доведення автоматично означало б, що наявні методи наближеного розв’язання багатьох, здавалося б, непов’язаних задач неможливо покращити, — крок до єдиної теорії обчислювальної складності. Історія показовий злам: тепер дослідники змагаються не лише між собою, а й із пресрелізами ШІ-компаній.
ШІ-лабораторії стають непрямим рушієм темпу математичних публікацій. Гіпотеза унікальних ігор — центральна проблема складності обчислень, і її доведення важить для всієї галузі.
❧