Trendaavat aiheet
#
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
Viimeisin päivitys.
8.12. klo 04.39
Putnam, maailman vaikein korkeakoulutason matematiikan koe, päättyi eilen klo 16 PT.
Tänään klo 12 AxiomProver ratkaisi 9/12-ongelmat Leanissa itsenäisesti (eilen klo 15:58 PT, se oli 12.8).
Meidän pisteemme olisi ollut #1 ~4000 osallistujasta viime vuonna ja Putnam Fellow (top 5) viime vuosina
13,84K
Putnam, maailman vaikein kandidaattimatematiikan kilpailu, päättyi eilen klo 16 PT.
Klo 15.58 mennessä AxiomProver @axiommathai itsenäisesti ratkaissut 8/12 Putnam2025:n Lean-kielellä, joka on 100 % todennettavissa oleva kieli.
Viime vuonna pisteemme olisi ollut #4 ~4000:sta ja Putnam Fellow (top 10 viime vuosina)
361,45K
On kauneutta siinä, että opiskelijasta kasvaa yhteistyökumppani.
Sir Hardy Ramanujanille.
Professori Ono minulle.
Ja nyt joukko Axiomin lahjakkaimpia matemaatikkoja @axiommathai tekoälyymme.
Thue-yhtälöt, joiden kanssa työskentelimme, ovat taululla. Artikkelimme oli esimerkki perinteisestä laskennasta, joka auttoi löytöjä modulaarisista muodoista, elliptisistä käyristä ja K3-pinnoista.
105,07K
Johtavat
Rankkaus
Suosikit