OpenAI объявила о трех открытиях, которые сделала ее нейросеть: в математике, информатике и физике. Проверять результаты будут группы известных ученых, а часть материалов уже лежит на GitHub.
OpenAI объявила о трех «крупных» научных результатах, которые получила ее модель искусственного интеллекта. Речь идет о задаче из гармонического анализа, гипотезе из теории сложности вычислений и квантовой теории поля. Все три пока остаются заявлениями компании, и их еще предстоит проверить. Одновременно OpenAI предложила новый порядок работы с академическим сообществом: результаты по информатике и физике будут разбирать независимые группы ученых, которых компания называет «пастухами».
Самое громкое заявление касается гипотезы экспоненциального времени. Ее предложили в 1999 году, и большинство специалистов считали ее верной. Гипотеза утверждает, что задачу 3-SAT нельзя решить заметно быстрее полного перебора. В этой задаче нужно понять, можно ли подобрать значения переменных так, чтобы логическая формула стала истинной. По данным OpenAI, ее модель нашла детерминированный алгоритм, который точно подсчитывает такие наборы значений быстрее экспоненциального времени и при этом расходует умеренный объем памяти. Если вывод подтвердится, гипотеза окажется ложной. Доказательство проверят Рассел Импальяццо и Рамамохан Патури из Калифорнийского университета в Сан-Диего, которые входили в группу, предложившую гипотезу, а также профессор Массачусетского технологического института Райан Уильямс. По просьбе группы текст доказательства и его формальную проверку в системе Lean сразу выложили на GitHub. Также опубликовано открытое письмо. В нем просят коллег помочь с проверкой и обсудить правила работы с открытиями ИИ: ранний доступ к результатам, признание заслуг тех, кто их проверяет и объясняет, и поддержку студентов в меняющейся науке.
Источник: hi-tech.mail.ru