Co můžu dělat s funkcí Objevujte
discoveryBanners
Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-1,15 %
USELESS
USELESS+1,16 %
IKUN
IKUN+1,18 %
gib
gib-5,34 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+2,02 %
ALON
ALON+4,13 %
LAUNCHCOIN
LAUNCHCOIN-14,98 %
GOONC
GOONC+2,32 %
KLED
KLED-9,06 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,51 %
Boopa
Boopa+10,04 %
PORK
PORK+2,87 %
header
Axiom
Axiom
AxiomPřed 20 h
Putnam, nejtěžší matematický test na vysoké škole na světě, skončil včera ve 16 hodin PT. Dnes v poledne AxiomProver autonomně vyřešil 9/12 úloh v Lean (včera 15:58 PT, bylo to 12.8.). Naše skóre by bylo #1 z ~4000 účastníků loni a Putnam Fellow (top 5) v posledních letech
204,79K