实体
Kourovka Notebook
Kourovka Notebook
PulseAugur coverage of Kourovka Notebook — every cluster mentioning Kourovka Notebook 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问题上产生了新颖的结果。
-
谷歌DeepMind AI协助数学家，在FrontierMath基准测试中名列前茅
谷歌DeepMind发布了一个名为“AI Co-Mathematician”的AI系统，旨在与人类数学家合作解决复杂问题。该系统基于Gemini 3.1 Pro构建，在极具挑战性的FrontierMath Tier 4基准测试中取得了48%的新SOTA分数，显著优于GPT-5.5 Pro等现有模型。该AI作为一个异步工作空间，配备一个协调代理，负责分解任务、管理并行研究流，并持久存储失败的假设，这与软件开发中的工作流程相似。