Темы



ИИ-компания OpenAI заявила о решении сотни открытых математических задач07.10.2026 16:21

Коротко сгенерировано ИИ по тексту статьи
  • OpenAI опубликовала на GitHub 722 документа с предполагаемыми решениями, сгруппированными в 372 семейства математических результатов.
  • Решения создала пока недоступная публике языковая модель; типичный результат требовал вычислений, эквивалентных трём часам работы сервисов OpenAI.
  • Компания планирует финансово поддерживать конференции, где учёные смогут оценивать и интерпретировать результаты машинных вычислений.

Почему это важно: Эксперты опасаются, что коммерческие интересы вытеснят открытую научную дискуссию.

Обширный массив данных, содержащий предполагаемые решения математических загадок, над которыми ученые бились десятилетиями, вызывает беспокойство у академического сообщества.

Компания OpenAI опубликовала на GitHub каталог, включающий 722 документа. Как сообщает издание The Verge, эти материалы сгруппированы в 372 семейства результатов, касающихся различных математических проблем. Документы охватывают такие ключевые академические дисциплины, как теория чисел, алгебраическая геометрия и теоретическая информатика.

755599_O.pngИзображение: нейросеть qwen

Эти потенциальные решения были сгенерированы языковой моделью, которая пока не доступна широкой публике. По данным разработчика, для получения типичного результата программному обеспечению требовались вычислительные мощности, эквивалентные трем часам работы в стандартном режиме доступа к сервисам OpenAI. В то же время экспертам-людям для получения сопоставимых доказательств обычно требуется интеллектуальный труд, занимающий месяцы или даже годы.

Растущая частота публикаций результатов, полученных с помощью ИИ, в различных лабораториях-разработчиках оказывает давление на академический мир. Как отмечается в соответствующей публикации, компания предварительно согласовала свои действия с Консультативной группой по математике и искусственному интеллекту (Advisory Group on Mathematics and Artificial Intelligence). В ходе этого процесса консультанты сформулировали требования к публикации доказательств, созданных машинным способом.

Консультанты рекомендуют компаниям-разработчикам не использовать математические результаты исключительно как маркетинговый инструмент для своего программного обеспечения. По мнению экспертов, подобная практика наносит ущерб математическому сообществу, поскольку коммерческие интересы могут вытеснить открытую научную дискуссию. В связи с этим OpenAI планирует в будущем оказывать финансовую поддержку конференциям, чтобы помочь ученым в оценке и интерпретации результатов, полученных с помощью машинных вычислений.

Еще в сентябре компания OpenAI объявила о решении более ста открытых математических задач. В их число входило решение одной из так называемых «задач тысячелетия», что сразу же вызвало споры об авторстве подобных результатов. Исследователи выражали опасения, что их незавершенные наработки, которые они сами вводили в чат-интерфейс с использованием ИИ, могут быть обработаны моделями и выданы за собственные решения системы.

©  overclockers.ru

Об этом также пишут