Искусственный интеллект успешно решает сложные математические задачи
Компании OpenAI, Anthropic и DeepMind демонстрируют значительный прогресс в решении математических задач высокого уровня сложности с помощью искусственного интеллекта.
Искусственный интеллект продолжает впечатлять своими достижениями в области математики, решая задачи, которые ранее считались непосильными для автоматизированных систем. Компании OpenAI, Anthropic и DeepMind отказываются от тестов на распознавание изображений и переходят к задачам исследовательского уровня, таким как "задачи Эрдёша". Эти задачи, созданные венгерским математиком Пал Эрдёшом, охватывают теорию чисел, комбинаторику и геометрию.
В январе 2026 года программист Нил Сомани использовал модель ChatGPT для успешного решения 11 "задач Эрдёша", что подчеркнуло потенциал методов машинного обучения в математике. Ранее крупные языковые модели считались недостаточно эффективными для такого сложного задания из-за риска "галлюцинаций", но новые подходы к решению задач сделали их более точными и надёжными.
Методы, используемые OpenAI и Google DeepMind, уже позволили их системам достичь результатов, сравнимых с медалями на Международной математической олимпиаде и студенческом чемпионате по программированию. В рейтинге Epoch AI OpenAI GPT-5.2 и Google Gemini 3 Pro занимают ведущие позиции по результатам сложных математических тестов.
Помимо математики, AI-лаборатории активно разрабатывают инструменты программирования с высокой точностью. Anthropic продвигает систему Claude Code, тогда как DeepMind создала AlphaProof и AlphaGeometry для математического анализа.
Несмотря на достижения, AI все ещё не может автономно решать сложные математические проблемы, требующие длительных исследований. Прогресс в этой области требует улучшения обучающих моделей для непрерывной накопительной работы и сохранения предыдущих знаний.
