Исследователь Кэцинь Се представил архитектуру Mathesis, предназначенную для автоматического решения математических задач и поиска доказательств. Работа опубликована на arXiv.org 31 декабря 2025 года. Система призвана преодолеть характерные для больших языковых моделей логические ошибки за счёт интеграции символьного ядра.
Ключевой компонент Mathesis — Символьное Ядро Рассуждений. Это дифференцируемый логический движок, который представляет математические состояния в виде гиперграфов высшего порядка. Ядро отображает логические ограничения на непрерывное энергетическое ландшафт. Глобальная энергетическая функция системы достигает нуля при логической непротиворечивости состояния, что позволяет использовать градиентные сигналы для обучения нейросетевого модуля.
Проблема логической согласованности — основное слабое место современных LLM в сложных рассуждениях. Mathesis предлагает альтернативный подход, превращая поиск доказательств в задачу минимизации энергии. Многошаговый вывод реализуется с помощью комбинации поиска по дереву Монте-Карло и эволюционного поиска доказательств, направляемого обученными оценочными функциями.
Предложенная нейросимволическая архитектура открывает путь к созданию систем, способных к строгим математическим рассуждениям, что критически важно для научных открытий и проверки гипотез. Работа находится на ранней стадии, но задаёт новое направление в области ИИ для науки.
