对于 Putnam 来说有点遗憾，但 DeepSeek-Prover-2 > Seed-Prover 序列仍将是 LLM 数学史不可或缺的一部分。
正在加载线程详情
正在从 X 获取原始推文，整理成清爽的阅读视图。
通常只需几秒钟，请稍候。
来自 Alexander Doria（@Dorialexander）的推文线程
共 1 条推文 · 2025年12月11日 18:47
作者信息
正在加载线程详情
正在从 X 获取原始推文，整理成清爽的阅读视图。
通常只需几秒钟，请稍候。
共 1 条推文 · 2025年12月11日 18:47
对于 Putnam 来说有点遗憾，但 DeepSeek-Prover-2 > Seed-Prover 序列仍将是 LLM 数学史不可或缺的一部分。