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.
Axiom
In über 98 Jahren Geschichte des Putnam-Wettbewerbs (seit 1927) gab es nur 5 perfekte Punktzahlen.
AxiomProver erzielte 120/120.
Wir gratulieren den Studierenden, die an der Prüfung teilnehmen, und freuen uns darauf, weitere beeindruckende menschliche Perfekt-Scorer zu sehen!
11. Jan., 01:49
AI hat gerade eine perfekte Punktzahl beim härtesten Mathematikwettbewerb der Welt erreicht.
Der Putnam hat 12 Probleme x 10 Punkte. Die höchste Punktzahl im letzten Jahr war 90. Der Median? 0. Axioms AI-Prover in Lean erzielte 120/120 und hat gerade alle Lösungen geteilt.
Ein großer Meilenstein für AI in der Mathematik.
56
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.
233
von Putnam (formale Theorembeweise) bis hin zu neuartigen mathematischen Entdeckungen, komm und leiste großartige Arbeit mit uns bei Axiom
12. Dez. 2025
Aktuelle Studierende sind die erste Generation von Wissenschaftlern, die KI-Modelle für substanzielle, abstrakte Forschungsaufgaben in großem Maßstab nutzen können.
Mein @a16zcrypto Ausblick für 2026, QED:
405
Top
Ranking
Favoriten