Прорыв в математике без участия человека
Гипотеза Римана, одна из самых известных нерешенных проблем математики с призом в $1 млн, снова оказалась в центре внимания. На этот раз не из-за человеческого гения, а благодаря работе нерелизной модели Anthropic. Сотрудник компании, не имеющий глубокой математической подготовки, дал модели команду «попробовать доказать гипотезу» и оставил её работать на 36 часов. Результат превзошел ожидания: модель не только сформулировала новые идеи, но и повысила нижнюю границу, в которой гипотеза остается верной.
Архитектура решения: 60 субагентов и 31 млн токенов
Процесс был масштабным и требовал огромных вычислительных ресурсов. Модель сгенерировала 31 миллион выходных токенов, протестировав 650 различных подходов. Ключевую роль сыграла многоагентная архитектура, где задачи распределялись между 60 специализированными субагентами. Два основных агента разработали ключевые математические идеи, в то время как другие служили валидаторами или помогали с оформлением.
| Роль агентов | Количество | Функция |
|---|---|---|
| Разработчики идей | 2 | Создание ключевых математических концепций |
| Вкладчики | 13 | Предоставление идей для разработчиков |
| Попытки разработки | 30 | Попытки создать новые идеи (безрезультатно) |
| Валидаторы | 13 | Проверка корректности аргументов |
| Авторы текста | 2 | Написание черновика статьи |
Верификация и контекст прорывов
Результаты были подтверждены двумя штатными математиками Anthropic и формализованы с помощью открытого помощника доказательств Lean. Это не первый случай успеха ИИ в чистой математике: в этом году модели OpenAI (внутренняя система «Astra») и Anthropic уже решали задачи Эрдёша и опровергали гипотезу Якоби. Однако случай с гипотезой Римана выделяется глубиной вовлечения модели в процесс открытия новых идей, а не просто поиска готовых решений.
Этическая дилемма: кто автор открытия?
Рост таких достижений вызывает тревогу в научном сообществе. В июне группа выдающихся математиков подписала декларацию, выразив обеспокоенность тем, что ИИ подрывает принцип атрибуции, когда автор берет на себя ответственность за истинность доказательства. Однако лауреат Филдсовской премии Тимоти Газер в ответном блоге задался вопросом: если теоремы перестанут быть привязаны к конкретным ученым, будет ли это хуже, чем то, что звезды не названы в честь астрономов? Индустрия пока не нашла единого ответа на этот вопрос.
Источник: TechCrunch ↗