Argomenti di tendenza
#
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/ Siamo orgogliosi di annunciare il Workshop di Matematica&AI di Aarhus, sponsorizzato e co-organizzato da Axiom.
I relatori includono i vincitori della Medaglia Fields Terence Tao e Maryna Viazovska✨
Da Axiom: Francois Charton @f_charton, Alberto Alfarano @albe_alfa, Seewoo Lee @antimath3
Ci vediamo in Danimarca! ❄️
72
In oltre 98 anni di storia della competizione Putnam (dal 1927), ci sono stati solo 5 punteggi perfetti.
AxiomProver ha ottenuto 120/120.
Salutiamo gli studenti che partecipano all'esame e non vediamo l'ora di vedere altri impressionanti punteggi perfetti umani!
11 gen, 01:49
AI just achieved a perfect score on the hardest math competition in the world.
The Putnam has 12 problems x 10 points. The highest score last year was 90. The median? 0. Axiom's AI prover in Lean scored 120/120 and just shared all the solutions.
Huge milestone for AI in Math.
470
1/ AxiomProver ha ottenuto 12/12 di Putnam 2025. Oggi rilasciamo le prove Lean generate autonomamente da AxiomProver.
Forniamo anche la nostra interpretazione dei problemi, visualizzazioni delle prove e confrontiamo come gli esseri umani e l'AI si approcciano in modo diverso. Tantissimo divertimento con la matematica e Lean!
Le nostre scoperte nel thread.
535
Principali
Ranking
Preferiti