PulseAugur
中
实时 00:52:45
实体 Goedel-Architect

Goedel-Architect

PulseAugur coverage of Goedel-Architect — every cluster mentioning Goedel-Architect across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
时间线
  1. 2026-06-06 research_milestone Goedel-Architect, powered by DeepSeek V4, achieved a 75.6% pass rate on the PutnamBench mathematics competition. 来源
最近 · 第 1/1 页 · 共 2 条
  1. TOOL · CL_74785 ·

    DeepSeek V4 驱动 Goedel-Architect 在低成本下赢得数学竞赛

    一个名为 Goedel-Architect 的新框架，由 DeepSeek V4 驱动，在 PutnamBench 数学竞赛中取得了 75.6% 的通过率。该框架具有显著的成本优势，成本仅为 294 美元，而类似系统的成本为 170,000 美元。研究人员将性能提升归因于架构创新，而非更优越的硬件。
  2. RESEARCH · CL_62835 ·

    AI框架通过新技术提升形式化定理证明能力

    研究人员开发了新的框架，利用大型语言模型增强形式化定理证明能力。Goedel-Architect 采用蓝图生成和精炼策略，使用 DeepSeek-V4-Flash 模型在 MiniF2F-test 和 PutnamBench 等基准测试中取得了最先进的性能。Proof-Refactor 专注于提高 LLM 生成证明的模块化、可读性和可维护性，在 PutnamBench 数据集上表现优于现有基线。另一种方法 Compile to Com…