flâneur

Axiom

axiommath.ai · 337 words · saved by 2 readers

The starting point for reasoning

So that's our take on Putnam 2025. Again, all our Lean solutions are available here. This was a ton of fun for the AxiomProver team: there's something deeply satisfying about watching a system grind through competition math in real time, even when it does things no human would ever think to try. This points to a question we don't have good answers to yet: what makes a math problem hard for a machine? What's hard for humans and what's hard for machines are different. For humans, we have decent intuitions. We know problems with heavy case analysis are tedious to enumerate. We know problems…

saved by

related reading