Современные модели искусственного интеллекта, изначально созданные для гуманитарных задач, теперь активно применяются в математике, способствуя научным открытиям и подтверждая свою эффективность.
Студент из Кембриджа успешно применил модель OpenAI для доказательства гипотезы Эрдёша, ранее считавшейся неразрешимой. Кроме того, ИИ демонстрирует высокие результаты на Международной математической олимпиаде.
Лаборатория DeepMind разработала AlphaProof и AlphaGeometry для решения математических и геометрических задач. Epoch AI использует бенчмарки для оценки скорости решения задач новыми моделями. Ранее считалось, что языковые модели не подходят для математики, но развитие методов обучения с подкреплением и моделей, способных к рассуждениям, значительно повысило их точность.
OpenAI привлекла математиков Эрнеста Рю и Мехтаба Сани для повышения эффективности моделей. Математика удобна для исследователей, так как позволяет автоматически проверять результаты и ускоряет разработку программного обеспечения с использованием ИИ. Anthropic делает ставку на Claude Code, способного генерировать программный код.
Для решения научных и математических задач ИИ использует накопленные знания и результаты. Сегодня ИИ эффективно резюмирует информацию и интегрирует данные из разных дисциплин, что может ускорить научный прогресс. В математике ИИ уже показал свою эффективность.