Компания OpenAI опубликовала на GitHub каталог, включающий 722 документа. Как сообщает издание The Verge, эти материалы сгруппированы в 372 семейства результатов, касающихся различных математических проблем. Документы охватывают такие ключевые академические дисциплины, как теория чисел, алгебраическая геометрия и теоретическая информатика.
Изображение: нейросеть qwen
Эти потенциальные решения были сгенерированы языковой моделью, которая пока не доступна широкой публике. По данным разработчика, для получения типичного результата программному обеспечению требовались вычислительные мощности, эквивалентные трем часам работы в стандартном режиме доступа к сервисам OpenAI. В то же время экспертам-людям для получения сопоставимых доказательств обычно требуется интеллектуальный труд, занимающий месяцы или даже годы.
Растущая частота публикаций результатов, полученных с помощью ИИ, в различных лабораториях-разработчиках оказывает давление на академический мир. Как отмечается в соответствующей публикации, компания предварительно согласовала свои действия с Консультативной группой по математике и искусственному интеллекту (Advisory Group on Mathematics and Artificial Intelligence). В ходе этого процесса консультанты сформулировали требования к публикации доказательств, созданных машинным способом.
Консультанты рекомендуют компаниям-разработчикам не использовать математические результаты исключительно как маркетинговый инструмент для своего программного обеспечения. По мнению экспертов, подобная практика наносит ущерб математическому сообществу, поскольку коммерческие интересы могут вытеснить открытую научную дискуссию. В связи с этим OpenAI планирует в будущем оказывать финансовую поддержку конференциям, чтобы помочь ученым в оценке и интерпретации результатов, полученных с помощью машинных вычислений.
Еще в сентябре компания OpenAI объявила о решении более ста открытых математических задач. В их число входило решение одной из так называемых «задач тысячелетия», что сразу же вызвало споры об авторстве подобных результатов. Исследователи выражали опасения, что их незавершенные наработки, которые они сами вводили в чат-интерфейс с использованием ИИ, могут быть обработаны моделями и выданы за собственные решения системы.
