Populære emner
#
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
Siste oppdatering.
17 timer siden
Putnam, verdens vanskeligste matteprøve på høyskolenivå, ble avsluttet i går kl. 16 PT.
Klokken tolv i dag løste AxiomProver 9/12-oppgaver i Lean autonomt (3:58p PT i går, det var 8/12).
Vår poengsum ville vært #1 av ~4000 deltakere i fjor, og Putnam Fellow (topp 5) de siste årene
11,79K
Putnam, verdens vanskeligste matematikkkonkurranse for bachelorstudenter, avsluttet kl. 16.00 PT i går.
Klokken 15:58 @axiommathai AxiomProver autonomt løst 8/12 av Putnam2025 i Lean, et 100 % verifiserbart språk.
I fjor ville poengsummen vår vært #4 på ~4000 og en Putnam Fellow (topp 10 de siste årene)
233K
Det er skjønnhet i å utvikle eleven til en samarbeidspartner.
Sir Hardy til Ramanujan.
Professor Ono til meg.
Og nå @axiommathai en gruppe av de smarteste matematikerne hos Axiom til vår AI.
Thue-ligningene vi jobbet med er på tavlen. Vår artikkel var et eksempel på tradisjonell beregning som støttet oppdagelser av modulære former, elliptiske kurver og K3-flater.
105,03K
Topp
Rangering
Favoritter