OpenAI заявила про доведення гіпотези «unique games», випередивши математиків з MIT
As AI Closed In on ‘Unique Games’ Proof, Researchers Raced to Beat the Machines
Компанія OpenAI оголосила про доведення гіпотези «unique games» — однієї з ключових відкритих проблем теорії обчислювальної складності — разом із ще 376 математичними результатами. Дізнавшись про чутки щодо цього доказу, професор MIT Дор Мінзер та його аспіранти Юмоу Фей і Шуо Ван поспішили оприлюднити власну семирічну роботу над спорідненою гіпотезою «2-to-1 games». За словами експертів, зокрема Раяна О'Доннелла з Carnegie Mellon, результат команди Мінзера є визначним незалежно від заяв OpenAI.
Мовою оригіналу · EN
OpenAI claims a proof of the unique games conjecture, prompting MIT researchers to rush out their own related breakthrough first.
Читати оригінал на Quanta Magazine →
Чому в стрічці: Значний прорив у темі AI-математики: гонка OpenAI і дослідників MIT довкола доведення гіпотези unique games.