Trend-Themen
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
clhong1248
Neuester Update.
8. Dez., 04:39
Der Putnam, der schwierigste Mathematiktest auf College-Niveau der Welt, endete gestern um 16 Uhr PT.
Heute Mittag hat AxiomProver autonom 9 von 12 Problemen in Lean gelöst (gestern um 15:58 Uhr PT waren es 8 von 12).
Unsere Punktzahl wäre letztes Jahr #1 von ~4000 Teilnehmern gewesen und Putnam Fellow (Top 5) in den letzten Jahren.
13,83K
Der Putnam, der härteste Mathematikwettbewerb für Studenten der Welt, endete gestern um 16 Uhr PT.
Um 15:58 Uhr hat AxiomProver @axiommathai autonom 8/12 von Putnam2025 in Lean gelöst, einer zu 100 % verifizierbaren Sprache.
Letztes Jahr wäre unser Punktestand #4 von ~4000 gewesen und ein Putnam Fellow (Top 10 in den letzten Jahren).
277,28K
Es gibt Schönheit darin, deinen Schüler zu deinem Mitarbeiter zu machen.
Sir Hardy zu Ramanujan.
Professor Ono zu mir.
Und jetzt eine Gruppe der hellsten Mathematiker bei Axiom @axiommathai zu unserer KI.
Die Thue-Gleichungen, mit denen wir gearbeitet haben, stehen an der Tafel. Unser Papier war ein Beispiel dafür, wie traditionelle Berechnungen Entdeckungen über modulare Formen, elliptische Kurven und K3-Flächen unterstützen.
105,07K
Top
Ranking
Favoriten