据@SoumithChintala消息，AI研究实验室Axiom仅成立四个月，便通过采用ThinkyMachines的Tinker基础设施，在Putnam数学竞赛上取得了突破性成绩。Axiom的自主AI系统AxiomProver在Lean环境下解答了12题中的9题，若以往年成绩计算，这一表现将位列4000名参赛者中的第一，并有望成为Putnam Fellow（前五名）（来源：@soumithchintala，2025年12月11日；@axiommathai）。这充分验证了Tinker为AI前沿研究实验室提供高效基础设施的能力，有望像AWS之于2010年代产品初创公司一样，重塑AI数学研究的创新流程与市场机会。