Google DeepMind представила Aletheia — ИИ-агента для автономных научных открытий

Команда Google DeepMind анонсировала Aletheia — специализированный ИИ-агент, переходящий от решения олимпиадных задач к самостоятельной научной работе. Модель способна генерировать, проверять и дорабатывать математические доказательства на естественном языке, используя огромные объёмы литературы и сложные логические цепочки.

Архитектура Aletheia построена на расширенной версии Gemini Deep Think и включает три модуля: генератор решений, верификатор (проверка на ошибки и вымышленные факты) и ревизор (исправление недочётов). Эксперименты показали, что разделение этих этапов значительно повышает надёжность. Версия от января 2026 года сократила вычислительные затраты для олимпиадного уровня в 100 раз и достигла 95,1 % точности на тесте IMO-Proof Bench Advanced.

Aletheia уже продемонстрировал автономную научную деятельность: полностью сгенерировал статью по арифметической геометрии, помог сформулировать стратегию доказательства для задачи о независимых множествах и нашёл 63 корректных решения среди 700 открытых задач из гипотез Эрдёша, из них 4 полностью решил самостоятельно. DeepMind впервые ввёл шкалу автономности ИИ в математике, аналогичную уровням в автомобильной отрасли. Статья Feng26 получила classification Level A2 — полностью автономная и готовая к публикации.