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
Il punto di partenza per il ragionamento
1/ RILASCIO DELL'ASSE: il Motore Axiom Lean ⚙️
Stiamo servendo la nostra infrastruttura principale per la dimostrazione formale su larga scala.
Questi sono gli stessi strumenti di metaprogrammazione Lean che sono alla base di AxiomProver, che lo alimentano per vincere il Putnam e aprire congetture di ricerca.
Disponibile per chiunque oggi!
244
1/ AxiomProver ha risolto la congettura aperta di Fel sulle syzygie dei semigruppi numerici, generando autonomamente una prova formale in Lean senza alcuna guida umana.
Questa è la prima volta che un sistema AI ha risolto un problema di ricerca irrisolto nella matematica teorica e si verifica autonomamente.
574
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! ❄️
1K
Principali
Ranking
Preferiti