Pythagoras-Prover 新研究发布
BlackHC · x · 2026-07-08
作者介绍了一项新工作 Pythagoras-Prover，并提到其中的 Pythagoras-Prover-4B 是“最小的”版本之一。帖子内容指向一个与证明/推理相关的研究项目发布。
BlackHC · x · 2026-07-08
作者介绍了一项新工作 Pythagoras-Prover，并提到其中的 Pythagoras-Prover-4B 是“最小的”版本之一。帖子内容指向一个与证明/推理相关的研究项目发布。