Vad kan jag göra med Discover
discoveryBanners
Trendande ämnen
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+16,72 %
USELESS
USELESS+3,02 %
IKUN
IKUN+10,1 %
gib
gib+17,37 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+3,36 %
ALON
ALON+13,66 %
LAUNCHCOIN
LAUNCHCOIN+18,59 %
GOONC
GOONC+1,53 %
KLED
KLED−10,9 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP−0,41 %
Boopa
Boopa+5,75 %
PORK
PORK0,00 %
header
Axiom
Axiom
Axiom8 dec. 04:39
Putnam, världens svåraste matteprov på högskolenivå, avslutades igår klockan 16 PT. Idag vid lunchtid löste AxiomProver 9/12-problem i Lean autonomt (3:58p PT igår, det var 8/12). Vårt resultat hade varit #1 av ~4000 deltagare förra året och Putnam Fellow (topp 5) de senaste åren
295,18K