1/ AxiomProver ha ottenuto 12/12 di Putnam 2025. Oggi rilasciamo le prove Lean generate autonomamente da AxiomProver. Forniamo anche la nostra interpretazione dei problemi, visualizzazioni delle prove e confrontiamo come gli esseri umani e l'AI si approcciano in modo diverso. Tantissimo divertimento con la matematica e Lean! Le nostre scoperte nel thread.