1/ AxiomProver hat 12/12 von Putnam 2025 erreicht. Heute veröffentlichen wir die Lean-Beweise, die AxiomProver autonom generiert hat. Wir bieten auch unsere Sicht auf die Probleme, Beweisvisualisierungen und vergleichen, wie Menschen vs. KI unterschiedlich herangehen. Jede Menge Spaß mit Mathematik und Lean! Unsere Ergebnisse im Thread.