DeepSeek V4 做数学证明:普林斯顿团队以 294 美元完成 17 万美元任务,成本优势 500 倍
↗普林斯顿团队用 DeepSeek V4 Flash 构建 Goedel-Architect,以 294 美元完成 PutnamBench(此前需 17 万美元),通过率 75.6% 反超 Hilbert。MiniF2F 首次刷完全部 244 题。
围绕这个主题,发现相关工具、新闻和真实工作流。
探索其他标签普林斯顿团队用 DeepSeek V4 Flash 构建 Goedel-Architect,以 294 美元完成 PutnamBench(此前需 17 万美元),通过率 75.6% 反超 Hilbert。MiniF2F 首次刷完全部 244 题。