Компания OpenAI объявила о создании консультативной группы по математике, которая будет курировать развитие исследований в этой области, учитывая достигнутый прогресс искусственного интеллекта (ИИ). В инициативу вошли ведущие математики и учёные, призванные оценивать результаты работы ИИ и помогать в интерпретации сложных теоретических достижений.Источник изображения: ChatGPTСоздание группы происходит после того, как системы OpenAI продемонстрировали способность продвигаться в решении более чем 100 ранее открытых математических задач. Хотя речь не всегда идёт о полном доказательстве в классическом академическом смысле, такие результаты сигнализируют о серьёзном скачке в возможностях машинного рассуждения и автоматизированного поиска решений.

Ключевая задача новой структуры – обеспечить научную строгость и независимую проверку результатов, полученных с помощью ИИ. Это особенно важно на фоне растущих споров в научном сообществе, где часть математиков ставит под сомнение корректность и воспроизводимость выводов, сделанных алгоритмами. В частности, некоторые математики считают, что ИИ просто воспроизводит их работы, фактически паразитируя.

Тем не менее, развитие ИИ в математику уже меняет саму природу исследований: ИИ-модели способны находить неожиданные связи и предлагать новые подходы, что может ускорить некоторые процессы.