According to @soumithchintala, Axiom began four months ago and achieved notable Putnam results by bootstrapping its infrastructure on ThinkyMachines Tinker, highlighting a scalable AI infrastructure approach (Source: @soumithchintala on X, Dec 11, 2025). Axiom reported that its AxiomProver autonomously solved 9 of 12 Putnam problems in Lean, improving from 8 of 12 at 3:58 pm PT to 9 of 12 by noon the next day, which would have ranked first among roughly 4,000 participants last year and within Putnam Fellow range in recent years (Source: @axiommathai on X, Dec 10–11, 2025). @soumithchintala characterized this as an early proof-point that Tinker could play for AI research labs a role similar to AWS for startups in the 2010s, underscoring an infrastructure scalability narrative relevant to execution benchmarks (Source: @soumithchintala on X, Dec 11, 2025).