Rutgers AI and Mathematics Seminar 公开 BruKnot：用语言模型学习困难 unknot 的辅助构造

Peter Zenz 在 Rutgers AI and Mathematics Seminar 介绍 BruKnot，一个面向困难 unknot diagram 的 neuro-symbolic 系统。它把 Reidemeister moves 的符号搜索与微调语言模型结合：常规简化停滞时，模型提出短的 crossing-increasing 与 rearrangement 序列，作为继续搜索所需的辅助构造。报告同时讨论训练数据管线、learned guidance 与 symbolic search 的交互、当前困难及向其他数学领域推广的可能性。