根据 @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 日）。

据 @karpathy 称，Tinker 让研究者和开发者在数据、损失函数与训练算法上保留约 90% 的算法创造性控制，同时将基础设施、正反向计算与分布式训练交由框架处理。来源：@karpathy 于 X，2025年10月1日，https://twitter.com/karpathy/status/1973468610917179630 据 @karpathy 称，Tinker 可将 LLM 后训练的典型复杂度降至 10% 以下，相较“上传数据、代为训练 LLM”的常见方案更低摩擦。来源：@karpathy 于 X，2025年10月1日，https://twitter.com/karpathy/status/1973468610917179630 据 @karpathy 称，这种对后训练流程的“切分”既能委托重体力工作，又能保留对数据与算法的主要控制权，是更有效的实践折中。来源：@karpathy 于 X，2025年10月1日，https://twitter.com/karpathy/status/1973468610917179630 据 @karpathy 称，微调并非主要用于“风格化”，而是聚焦任务范围收窄；当拥有大量训练样本时，针对窄任务微调的小模型在效果与速度上可优于对大模型的大量少样本提示。来源：@karpathy 于 X，2025年10月1日，https://twitter.com/karpathy/status/1973468610917179630 据 @karpathy 称，生产级 LLM 应用日益呈现 DAG 流水线协作形态，部分环节适合提示驱动，但许多组件以微调效果更佳，Tinker 将微调过程简化为“轻而易举”，便于快速试验与迭代。来源：@karpathy 于 X，2025年10月1日，https://twitter.com/karpathy/status/1973468610917179630；补充参考：Thinky Machines 帖子，https://x.com/thinkymachines/status/1973447428977336578