实体
RealMath
RealMath
PulseAugur coverage of RealMath — every cluster mentioning RealMath across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新的Albilich系统助力AI辅助数学研究
研究人员开发了Albilich，一个旨在增强AI辅助数学研究的开源系统。该系统集成了大型语言模型与计算机代数系统、文献检索以及基于SQLite的持久化上下文管理器，以帮助协调、评估和复现长时程的证明尝试。Albilich在RealMath等基准测试和群论中的开放性问题上已展现出成功，特别是在启用CAS的情况下解决了所有RealMath问题，并在Kourovka Notebook问题上产生了新颖的结果。
-
AI代理解决复杂数学问题，树立新的研究基准 · 追踪8个来源
研究人员正在开发能够解决复杂数学问题的先进AI代理，拓展自动化推理的边界。ProofCouncil和OpenProver等系统在解决开放性数学问题和生成形式化证明方面展现出显著能力，其中ProofCouncil在涉及10个现实世界问题的挑战中取得了显著成功。IMProofBench和MIRA-Math等新基准支持了这些努力，这些基准旨在严格评估LLM在研究级数学任务上的表现以及它们请求必要信息的能力。