1/ AxiomProver získal 12.12. Putnam 2025. Dnes zveřejňujeme štíhlé důkazy, které AxiomProver generoval autonomně. Také poskytujeme náš pohled na problémy, vizualizace důkazů a porovnáváme, jak lidé versus AI přistupují odlišně. Spousta zábavné matematiky a Lean! Naše zjištění v vlákně.