Codex三模型协作做数学工程
ChrSzegedy · x · 2026-07-14
一个正在运行 3 周的数学工程项目，主要依赖 Codex 作为执行者，并新增了一个名为 **Fable** 的审稿/检查模型，作者现在形成了三模型协作：Codex、Fable 和 GPT Pro Sol。 他表示，这套组合正在帮助他们把有限群（finite semigroups）在 **7 阶以内**的分类推进到“最佳路径”，并称这是一个“真正的 agentic mathematical engineering”。作者还提到自己为这套 scaffold 花了很多心思，也使用了大学基础设施，后续会继续披露细节。