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
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 ha appena raggiunto un punteggio perfetto nella competizione di matematica più difficile del mondo.
Il Putnam ha 12 problemi x 10 punti. Il punteggio più alto dell'anno scorso è stato 90. La mediana? 0. Il provatore AI di Axiom in Lean ha ottenuto 120/120 e ha appena condiviso tutte le soluzioni.
Grande traguardo per l'AI nella matematica.
149
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.
280
da Putnam (dimostrazione formale dei teoremi) alla scoperta matematica de novo, vieni a fare un grande lavoro con noi in Axiom
12 dic 2025
Gli attuali studenti sono la prima generazione di studiosi che potranno utilizzare modelli di AI per compiti di ricerca sostanziali e astratti su larga scala.
La mia previsione di @a16zcrypto per il 2026, QED:
451
Principali
Ranking
Preferiti