Mazurov

新的Albilich系统助力AI辅助数学研究

研究人员开发了Albilich，一个旨在增强AI辅助数学研究的开源系统。该系统集成了大型语言模型与计算机代数系统、文献检索以及基于SQLite的持久化上下文管理器，以帮助协调、评估和复现长时程的证明尝试。Albilich在RealMath等基准测试和群论中的开放性问题上已展现出成功，特别是在启用CAS的情况下解决了所有RealMath问题，并在Kourovka Notebook问题上产生了新颖的结果。