Символическое изображениеМатематики сомневаются в проверке после публикации OpenAI сотен заявленных результатов
OpenAI во вторник опубликовала большую коллекцию математических результатов, полученных с помощью ИИ. Математики впечатлены, но сомневаются в том, как результаты проверялись.
OpenAI выложила результаты на GitHub вместе с записью в блоге во вторник, 6 октября. FAZ насчитывает более 700 материалов с решениями, доказательствами или их фрагментами, The Guardian сообщает о более чем 370 результатах: от теории чисел и алгебраической геометрии до математической логики. По данным Wall Street Journal, на которые ссылается FAZ, среди них есть продвижения по трём из пяти оставшихся проблем тысячелетия; Алекс Конторович из Университета Рутгерса заявил, что человеку за такое гарантирована медаль Филдса. OpenAI сообщает, что поставила перед моделью около 4000 задач и описала свой метод и необходимые вычислительные мощности.
Сомнения в проверке и доступе
OpenAI говорит, что консультировалась с экспертами Advisory Group on Mathematics and Artificial Intelligence при Institute for Advanced Study. Сам институт заявил, что не одобряет тестирование самых трудных задач на закрытых моделях, и предупредил о двухуровневой системе и об аргументах ИИ, которые не может проверить ни один человек. OpenAI пообещала дать математикам голос, но не заявила, что прекратит практику. Математик из Нью-Йоркского университета Тристан Бакмастер сказал New York Times, что запросы могли дать модели информацию, помогшую получить результаты.