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.
clhong1248
Aggiornamento più recente.
8 dic, 04:39
Il Putnam, il test di matematica a livello universitario più difficile al mondo, si è concluso ieri alle 16:00 PT.
Oggi a mezzogiorno, AxiomProver ha risolto 9/12 problemi in Lean in modo autonomo (ieri alle 15:58 PT, erano 8/12).
Il nostro punteggio sarebbe stato il #1 di ~4000 partecipanti l'anno scorso e Putnam Fellow (top 5) negli anni recenti.
12,66K
Putnam, il concorso di matematica per laureandi più difficile al mondo, si è concluso ieri alle 16:00 PT.
Alle 15:58, AxiomProver @axiommathai ha risolto autonomamente 8/12 di Putnam2025 in Lean, un linguaggio 100% verificabile.
L'anno scorso, il nostro punteggio sarebbe stato il #4 di ~4000 e un Putnam Fellow (top 10 negli ultimi anni)
277,26K
C'è bellezza nel far crescere il tuo studente fino a diventare il tuo collaboratore.
Sir Hardy a Ramanujan.
Il professor Ono a me.
E ora, un gruppo dei più brillanti matematici di Axiom @axiommathai al nostro AI.
Le equazioni di Thue con cui abbiamo lavorato sono sulla lavagna. Il nostro articolo era un esempio di calcolo tradizionale che assiste le scoperte su forme modulari, curve ellittiche e superfici K3.
105,06K
Principali
Ranking
Preferiti