Китайские исследователи представляют TongGeometry: парадигмальный сдвиг в AI-математическом рассуждении

В значимом событии для глобального ландшафта искусственного интеллекта совместная исследовательская группа из Китая объявила о создании TongGeometry, системы Искусственного общего интеллекта (Artificial General Intelligence, AGI), которая, по сообщениям, превосходит AlphaGeometry от Google DeepMind. Опубликованная в престижном журнале Nature Machine Intelligence, эта прорывная работа знаменует собой поворотный момент в стремлении создать ИИ, способный к логическому рассуждению на уровне человека и автономному творчеству.

Система была разработана в результате совместной работы под руководством Beijing Institute for General Artificial Intelligence (BIGAI) в сотрудничестве с несколькими уважаемыми подразделениями Peking University, включая School of Psychological and Cognitive Sciences и Institute for Artificial Intelligence. В отличие от предшественников, которые в основном сосредотачивались на решении уже существующих задач, TongGeometry вводит двойную функциональность: она выступает и как решатель, и как создатель, коренным образом изменяя подход машин к сложным математическим задачам.

Превосхождение эталона AlphaGeometry

В течение многих лет International Mathematical Olympiad (IMO) служила «золотым стандартом» для проверки машинного интеллекта. В начале 2024 года DeepMind произвела фурор с AlphaGeometry, системой, продемонстрировавшей выдающиеся способности в задачах по геометрии. Тем не менее появление TongGeometry ставит под вопрос это доминирование, устраняя присущие предыдущим моделям неэффективности.

Ключевое отличие заключается в вычислительной эффективности и архитектурной философии. Исследователи описывали AlphaGeometry как «пассивного решателя», который в значительной степени полагается на массивные синтетические датасеты и обширные вычислительные кластеры для достижения результатов. В резком контрасте TongGeometry работает в парадигме «малые данные — большая задача» ("small data, big task").

По словам исследовательской группы, TongGeometry успешно решила все задачи по геометрии из International Mathematical Olympiad (IMO) с 2000 года по настоящее время менее чем за 38 минут. Что особенно примечательно, этот результат был достигнут с использованием одного потребительского GPU, что подчёркивает резкое сокращение вычислительных затрат по сравнению с ресурсами промышленного масштаба, необходимыми конкуренту от DeepMind.

Техническая архитектура: от «имитационного решения» к «автономному творчеству»

Технический рывок, достигнутый TongGeometry, связывают с её инновационной «технологией нормализованного представления» (normalized representation technology). Традиционные AI-решатели часто сталкиваются с проблемой «взрыва путей», когда число возможных логических шагов экспоненциально растёт, перегружая систему. TongGeometry использует уникальный метод представления, чтобы сжать это пространство поиска на несколько порядков, позволяя быстро и точно рассуждать без необходимости грубого перебора.

Сравнение ведущих математических AI-систем

Чжан Чи (Zhang Chi), исследователь из BIGAI и первый автор статьи, объяснил способность системы превосходить простое решение задач. «Мы выявили глубокую двойственность в нашем исследовании: когда сложность доказательства геометрического утверждения значительно выше сложности его конструирования, оно обладает "эстетической ценностью" как задача уровня олимпиад», — заявил Чжан.

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

Проверка возможностей «Master Teacher» в реальной среде

Утверждение о том, что TongGeometry функционирует как «мастер-учитель» («Master Teacher»), не является лишь теоретическим. Творческие способности системы уже были испытаны на высокоуровневых академических соревнованиях. Три задачи по геометрии, автономно сгенерированные TongGeometry, были официально отобраны для 2024 Chinese Mathematical Olympiad (Beijing District).

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

Чжу Иисин (Zhu Yixin), доцент School of Psychological and Cognitive Sciences Peking University, подчеркнула, что система имитирует человеческую интуицию. «Значение TongGeometry заключается не только в увеличении скорости решения, но и в её реализации парадигмы "малые данные — большая задача" ("small data, big task")», — отметила Чжу. «Этот путь, который не зависит от массивных размеченных данных, а развивается через внутреннюю логику, является ключом к развитию AGI».

Последствия для будущего AGI

Выпуск TongGeometry согласуется с более широкими прогнозами для индустрии ИИ на 2026 год. Как отмечали ветераны отрасли, такие как д-р Бен Гёрцель (Ben Goertzel), «отец AGI», в настоящее время наблюдается гонка за системами, обладающими подлинными когнитивными архитектурами — долговременной памятью, автономностью, ориентированной на цели, и способностью надежно рассуждать о данных.

Успех TongGeometry говорит о том, что путь к AGI может лежать не только в масштабировании больших языковых моделей (LLMs) с большим объёмом данных и вычислений, но и в разработке специализированных логических ядер, имитирующих процессы человеческого мышления. Способность действовать на основе «внутренней логики», а не просто сопоставления паттернов, имеет решающее значение для приложений — от персонализированного интеллектуального образования до автоматического научного открытия.

Ключевые последствия для сектора ИИ:

• Демократизация исследований: Возможность запускать модели высшего уровня рассуждений на потребительском оборудовании снижает барьеры входа для независимых исследователей.
• Трансформация образования: Системы ИИ, способные генерировать задачи, соответствующие учебной программе, могут революционизировать персонализированное обучение.
• Научные открытия: «Научные большие языковые модели», оснащённые такими логическими ядрами, могут помогать в доказательстве теорем и открытии новых физических законов.

Заключение

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