Компания OpenAI опубликовала три новых научных результата в области математики, информатики и физики на платформе GitHub. В этот раз для проверки данных по физике и информатике привлекли внешних экспертов, называемых кураторами. В математическом направлении компания открыла доступ к выводам модели для самостоятельного анализа исследователями.
В области информатики заявлено опровержение гипотезы экспоненциального времени. Проверкой доказательства займется группа ученых под руководством Рассела Импальяццо, Рамамохана Патури и Райана Уильямса. Математическое открытие содержит доказательство гипотезы локального сглаживания, что также решает гипотезы Какеи и ограничения Стейна для всех размерностей.
Физическое исследование представляет собой строгое доказательство существования квантовых теорий поля, включая квантовую хромодинамику и дополнение Стандартной модели. Курировать работу будет группа экспертов, в которую вошли Дэвид Гросс, Майкл Дуглас, Артур Джаффе, Игорь Клебанов и Никита Некрасов.
Консультативный совет AGMAI рекомендовал ИИ-лабораториям отказаться от практики передачи результатов избранным специалистам из-за рисков предвзятости и неравного доступа. Эксперты советуют публиковать данные в научных репозиториях, предоставляя формализованные доказательства Lean и информацию о методологии выбора задач.
