Subiecte populare
#
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
Punctul de plecare pentru raționament
1/ ELIBERARE A AXEI: MOTORUL ⚙️ Axiom Lean
Deservim infrastructura noastră de bază pentru demonstrarea formală la scară largă.
Acestea sunt aceleași instrumente Lean de metaprogramare care stau la baza AxiomProver, care îl ajută să câștige Putnam și să deschize presupuneri de cercetare.
Disponibil oricui astăzi!
266
1/ AxiomProver a rezolvat conjectura deschisă a lui Fel despre sizigiile semigrupurilor numerice, generând autonom o demonstrație formală în Lean fără nicio ghidare umană.
Aceasta este prima dată când un sistem AI rezolvă o problemă de cercetare nerezolvată în matematica construirii teoretice și se auto-confirmă.
582
1/ Suntem mândri să anunțăm Atelierul de Matematică și AI de la Aarhus, sponsorizat și co-organizat de Axiom.
Printre vorbitori se numără medaliații Fields Terence Tao și Maryna Viazovska✨
Din Axiom: François Charton @f_charton, Alberto Alfarano @albe_alfa, Seewoo Lee @antimath3
Ne vedem în Danemarca! ❄️
1K
Limită superioară
Clasament
Favorite