实体
Goedel-Architect
Goedel-Architect
PulseAugur coverage of Goedel-Architect — every cluster mentioning Goedel-Architect across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
时间线
- 2026-06-06 research_milestone Goedel-Architect, powered by DeepSeek V4, achieved a 75.6% pass rate on the PutnamBench mathematics competition. 来源
情绪 · 30 天
2 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
DeepSeek V4 驱动 Goedel-Architect 在低成本下赢得数学竞赛
一个名为 Goedel-Architect 的新框架，由 DeepSeek V4 驱动，在 PutnamBench 数学竞赛中取得了 75.6% 的通过率。该框架具有显著的成本优势，成本仅为 294 美元，而类似系统的成本为 170,000 美元。研究人员将性能提升归因于架构创新，而非更优越的硬件。
-
AI frameworks boost formal theorem proving with new techniques
Researchers have developed new frameworks to enhance formal theorem proving capabilities using large language models. Goedel-Architect utilizes a blueprint generation and refinement strategy, achieving state-of-the-art …