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
da Putnam (dimostrazione formale dei teoremi) alla scoperta matematica de novo, vieni a fare un grande lavoro con noi in Axiom
13 ore fa
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:
2,65K
1/ La congettura di Collatz ha umiliato i matematici per quasi 90 anni. Paul Erdös disse "la matematica non è ancora pronta per tali problemi." 🧵
Quindi l'abbiamo affidata ai trasformatori. Ciò che hanno appreso ci ha stupiti!
Nuove ricerche del team di scoperta matematica di Axiom, blog in diretta questa mattina.
101,56K
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.
298,01K
Principali
Ranking
Preferiti