VALG 开源：自动探索 ML 理论的智能体，解决两道 COLT 难题

YiMaTweets · x · 2026-08-17

VALG 是一个用于机器学习理论研究的自动化智能体系统，将理论研究中“迭代与修正”的节奏转化为结构化工作流。其核心特性是联合问题求解与问题重构，能够在调整假设和推导证明之间统一迭代。当定理无法完全建立时，它会生成范围合理的松弛情形或特例，同时保持与原问题的数学联系。

团队在 5 个 COLT 2026 开放问题上测试了 VALG，运行了 9 个子问题并产生 22 个定理候选，其中 2 个被完全解决，其余 7 个通过松弛或受限设置得到部分解决。他们还在构建 ML 理论自动化基准，初步结果显示约 80% 的 arXiv 2026 理论论文可端到端处理。