---
title: "ИИ-модель Anthropic добилась прорыва в решении задачи, которая мучила математиков более 150 лет"
description: "🤖 **ИИ-революция в математике**: Нейросеть Anthropic добилась прорыва в решении задачи, которую человечество не может решить более 150 лет. 🧠 **Как это произошло**: — Сотрудник без математического бэкграунда дал команду модели. — ИИ работал 1,5 суток, протестировав 650 идей. — В процесс было вовлечено 60 субагентов. ✅ **Результат**: Два математика подтвердили правильность выводов, а доказательства были формализованы в системе Lean. 📉 **Контекст**: Это продолжение серии успехов ИИ в 2026 году (проблемы Эрдеша, модель Astra, гипотеза Якоби). ⚖️ **Споры**: Математики обсуждают, не подрывает ли ИИ ценность авторства, но лауреат Филдса Тимоти Говерс видит в этом будущее науки. #AI #Math #Anthropic #Science #Technology"
date: 2026-08-12T08:16:00.000Z
lang: ru
url: https://xab.info/posts/ii-antropic-dobilsya-proryiva-v-reshenii-zadachi-150-let
tags: [anthropic, artificial-intelligence, mathematics, ai-research, technology-news]
publisher: "XAB.info"
---

# ИИ-модель Anthropic добилась прорыва в решении задачи, которая мучила математиков более 150 лет

![Робот-андроид за компьютером, символизирующий прорыв ИИ-модели Anthropic в решении сложной математической задачи](https://xab.info/media/2026/08/12/ii-antropic-dobilsya-proryiva-v-reshenii-zadachi-150-let/ii-antropic-dobilsya-proryiva-v-reshenii-zadachi-150-let-1.webp)

## 🎯 Key Points

- Нейросеть Anthropic добилась прогресса в решении задачи, над которой работают более 150 лет.
- ИИ протестировал 650 идей за 1,5 суток с использованием 60 субагентов.
- Результаты подтверждены математиками и формализованы в системе Lean.
- В научном сообществе идут споры о влиянии ИИ на авторство и ответственность в науке.

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

### Автоматизация научного поиска: 650 идей за 36 часов

Процесс работы ИИ над задачей занял 1,5 суток. За это время алгоритм продемонстрировал способность к автономному планированию и координации. Модель самостоятельно координировала выполнение задания, протестировав 650 различных идей и подходов к решению. Масштаб вычислительных ресурсов был внушительным: алгоритм израсходовал 31 миллион исходных токенов и вовлек в процесс 60 отдельных субагентов. Это свидетельствует о переходе от простого генерирования текста к сложной когнитивной деятельности, требующей многоуровневой логики и проверки гипотез.

### Верификация результатов и формализация

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

### Контекст: ИИ в математике в 2026 году

Этот успех стал продолжением ряда математических открытий, достигнутых с помощью нейросетей в последние годы. В текущем 2026 году алгоритмы уже разрешили несколько проблем Эрдеша, а модель Astra от OpenAI доказала 10 важных результатов. Ранее команда Anthropic также опровергла известную гипотезу Якоби. Эти события указывают на то, что ИИ перестал быть просто инструментом для обработки данных и стал полноценным соавтором в создании новых математических знаний.

### Этические дебаты: Авторство и ответственность

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

### Оптимистичный взгляд: Будущее математики

В то же время, многие эксперты, включая лауреата премии Филдса Тимоти Говерса, считают, что привлечение ИИ может изменить математику к лучшему. Они полагают, что нейросети способны находить связи и паттерны, недоступные человеческому разуму, что откроет новые горизонты для науки. Прорыв Anthropic подтверждает, что ИИ способен не только решать поставленные задачи, но и находить неожиданные подходы к решению проблем, которые казались неразрешимыми.

## 🔍 Fact-Check Verification

- [An unreleased Anthropic model made progress on one of math’s biggest unsolved problems](https://www.msn.com/en-us/news/opinion/an-unreleased-anthropic-model-made-progress-on-one-of-math-s-biggest-unsolved-problems/ar-AA29S2nX) - Источник подтверждает основные факты о прогрессе модели Anthropic в решении математической задачи.

## ❓ FAQ

### Q: Какую задачу решил ИИ?
**A:** ИИ добился прогресса в решении математической гипотезы, над которой человечество работает более 150 лет. За ее доказательство обещают миллион долларов.

### Q: Сколько времени работал ИИ?
**A:** Алгоритм работал 1,5 суток, протестировав 650 различных идей.

### Q: Кто подтвердил результаты?
**A:** Результаты подтвердили два штатных математика компании Anthropic, а выводы были формализованы в системе Lean.

### Q: Что говорят математики об использовании ИИ?
**A:** Мнения разделены: некоторые опасаются потери авторства, другие, как Тимоти Говерс, считают, что ИИ изменит математику к лучшему.