Populaire onderwerpen
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-0,51%
USELESS
USELESS-4,1%
IKUN
IKUN-6,46%
gib
gib-1,65%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+0,08%
ALON
ALON+4%
LAUNCHCOIN
LAUNCHCOIN-5,86%
GOONC
GOONC-2,13%
KLED
KLED+13,09%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+1,51%
Boopa
Boopa-5,98%
PORK
PORK0,00%
clhong1248
clhong1248
8 dec 2025·
Putnam, de moeilijkste wiskunde wedstrijd voor undergraduate ter wereld, eindigde gisteren om 16:00 PT. Om 15:58 had AxiomProver @axiommathai autonoom 8/12 van Putnam2025 opgelost in Lean, een 100% verifieerbare taal. Vorig jaar zou onze score #4 van ~4000 zijn geweest en een Putnam Fellow (top 10 in recente jaren)