Предложена нейросимволическая архитектура Mathesis для решения математических задач
На arXiv.org опубликована работа, предлагающая архитектуру Mathesis, которая комбинирует нейросетевые и символьные методы для поиска математических доказательств.