Ученые научили ИИ разговаривать с самим собой для самообучения

Совместная исследовательская группа разработала систему общего искусственного интеллекта TongGeometry, способную не только автоматически решать математические задачи, но и самостоятельно ставить новые. По мнению авторов, это достижение знаменует собой переход от «имитационного решения» к автономному творчеству в области математических исследований.

TongGeometry продемонстрировала превосходство над международными эталонами, включая систему AlphaGeometry от DeepMind. В отличие от существующих решений, которые в основном выступают в роли пассивных решателей, новая разработка способна генерировать оригинальные и эстетически выверенные геометрические задачи, соответствующие уровню олимпиадной математики. Исследователи сравнивают её роль с «мастером-учителем», который не только находит ответы, но и формирует сам предмет обучения.

По словам первого автора исследования, сотрудника Пекинского института общего искусственного интеллекта (BIGAI) Чжана Чи, система моделирует интуицию и эстетические критерии, которыми руководствуются профессиональные математики. Это позволяет ей отбирать качественные задачи из огромного пространства возможных комбинаций и формировать принципиально новые постановки.

Существенное преимущество TongGeometry продемонстрировала и в вычислительной эффективности. Если AlphaGeometry требует масштабных вычислительных кластеров, то новая система смогла решить все геометрические задачи Международной математической олимпиады с 2000 года менее чем за 38 минут, используя лишь один потребительский графический процессор. Такой результат стал возможен благодаря применению технологии нормализованного представления, которая сжимает пространство поиска и устраняет проблему «взрыва путей», характерную для традиционных алгоритмов доказательства.

Доцент Школы психологических и когнитивных наук Пекинского университета Чжу Исинь отметил, что ключевая ценность TongGeometry заключается в реализации парадигмы «малые данные — большая задача». Вместо опоры на массивы размеченных данных система использует моделирование человеческой интуиции и эстетики, что рассматривается как перспективный путь к созданию по-настоящему общего искусственного интеллекта.

Практическую значимость разработки подтверждает тот факт, что три геометрические задачи, полностью автономно сгенерированные TongGeometry, были официально отобраны для Китайской математической олимпиады 2024 года в Пекинском округе. Авторы считают, что данный прорыв создаёт технологическую основу для дальнейшего развития автоматизированных математических доказательств, персонализированного образования и формирования специализированных научных языковых моделей, пишет источник.