At Axiom we’ve raised $64 million—we’re a small startup—and we recently won the Putnam competition. We scored 90 out of 120, which would have placed us above all ~4,000 human contestants last year and at the level of a Putnam Fellow, meaning top five in the world. If you tried to achieve that purely through informal methods—where hallucination is a persistent risk—getting to the same level of consistent correctness would likely require a lot more resources.