Mitä voin tehdä Discoverilla
discoveryBanners
Trendaavat aiheet
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico−6,41 %
USELESS
USELESS+2,01 %
IKUN
IKUN+0,74 %
gib
gib−2,12 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+1,88 %
ALON
ALON−1,45 %
LAUNCHCOIN
LAUNCHCOIN−2,5 %
GOONC
GOONC−1,39 %
KLED
KLED−9,74 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP−0,71 %
Boopa
Boopa+3,49 %
PORK
PORK+2,87 %
clhong1248
clhong1248
8.12. klo 00.54·
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)