Was kann ich mit Discover machen?
discoveryBanners
Trend-Themen
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-5,34 %
USELESS
USELESS+7,8 %
IKUN
IKUN+0,35 %
gib
gib+1,16 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+4,26 %
ALON
ALON+0,98 %
LAUNCHCOIN
LAUNCHCOIN+5,66 %
GOONC
GOONC-1,39 %
KLED
KLED-10,83 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,21 %
Boopa
Boopa-0,23 %
PORK
PORK+2,87 %
Axiom
Axiom
8. Dez., 04:39·
Der Putnam, der schwierigste Mathematiktest auf College-Niveau der Welt, endete gestern um 16 Uhr PT. Heute Mittag hat AxiomProver autonom 9 von 12 Problemen in Lean gelöst (gestern um 15:58 Uhr PT waren es 8 von 12). Unsere Punktzahl wäre letztes Jahr #1 von ~4000 Teilnehmern gewesen und Putnam Fellow (Top 5) in den letzten Jahren.