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.

von Putnam (formale Theorembeweise) bis hin zu neuartigen mathematischen Entdeckungen, komm und leiste großartige Arbeit mit uns bei Axiom

1/ Die Collatz-Vermutung hat Mathematiker seit fast 90 Jahren demütigt. Paul Erdös sagte: "Die Mathematik ist noch nicht bereit für solche Probleme." 🧵 Also haben wir es den Transformatoren übergeben. Was sie gelernt haben, hat uns verblüfft! Neue Forschung vom Mathematik-Entdeckungsteam von Axiom, Blog live heute Morgen.