根据 @soumithchintala，Axiom 成立仅四个月，通过在 ThinkyMachines 的 Tinker 上引导其基础设施，取得了 Putnam 竞赛的亮眼成绩，显示出可扩展的 AI 基础设施路径（来源：@soumithchintala，X，2025 年 12 月 11 日）。 Axiom 称其 AxiomProver 在 Lean 中可自主解题，已从 3:58 pm PT 的 8/12 提升到次日中午的 9/12，按去年口径将位列约 4000 名参赛者第 1 且达到 Putnam Fellow（前五）水平（来源：@axiommathai，X，2025 年 12 月 10–11 日）。 @soumithchintala 表示，这是 Tinker 成为 AI 前沿研究实验室之“AI 版 AWS”的早期证据，强调以硬基准与可扩展性为核心的基础设施叙事（来源：@soumithchintala，X，2025 年 12 月 11 日）。