According to @soumithchintala, Axiom, an AI research lab launched just four months ago, achieved remarkable results on the Putnam math competition by leveraging the Tinker infrastructure platform from ThinkyMachines (@thinkymachines). By using Tinker to rapidly bootstrap their AI research workflows, Axiom's autonomous AxiomProver system solved 9 out of 12 Putnam problems in Lean, a performance that would have ranked #1 among around 4,000 participants last year and placed them as a Putnam Fellow in recent years (source: @soumithchintala, Dec 11, 2025; @axiommathai). This serves as a concrete early validation that Tinker could become for AI frontier research labs what AWS was for product startups in the 2010s, potentially transforming how AI teams access scalable, specialized infrastructure to accelerate mathematical research and innovation.