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
1/ Wir freuen uns, den Aarhus Math&AI Workshop anzukündigen, gesponsert und mitorganisiert von Axiom.
Zu den Rednern gehören die Fields-Medaillengewinner Terence Tao und Maryna Viazovska✨
Von Axiom: Francois Charton @f_charton, Alberto Alfarano @albe_alfa, Seewoo Lee @antimath3
Wir sehen uns in Dänemark! ❄️
71
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.
469
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.
534
Top
Ranking
Favoriten