1/ AxiomProver sai 12/12 Putnam 2025:stä. Tänään julkaisemme AxiomProverin itsenäisesti tuottamat Lean-todistukset. Tarjoamme myös oman näkemyksemme ongelmista, todistamme visualisointeja ja vertaamme, miten ihmiset ja tekoäly lähestyvät eri tavoin. Paljon hauskaa matematiikkaa ja Leania! Löydöksemme ketjussa.