Trend-Themen
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+7,29 %
USELESS
USELESS+13,02 %
IKUN
IKUN+0,16 %
gib
gib+5,82 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+6,74 %
ALON
ALON-2,08 %
LAUNCHCOIN
LAUNCHCOIN-11,99 %
GOONC
GOONC-5,06 %
KLED
KLED+7,74 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+1,4 %
Boopa
Boopa-3,15 %
PORK
PORK-1,46 %
header
clhong1248
clhong1248
clhong124811. Dez., 08:56
Lass uns härter und härtere Dinge versuchen, damit sie unseren Sieg nicht leicht nennen können. Lass uns immer geschmackvollere Dinge versuchen, damit Hype geschmacklos aussieht. Lass uns den Beweis reduzieren, damit sie wissen, dass "Beweis-Längen-Verhältnis ist Härte-Verhältnis" Bullshit ist. Lass uns wie ein Strauß sein und loslegen. Ich liebe eine Underdog-Geschichte.
4,3K
clhong1248
clhong124811. Dez., 01:32
Axioms neuer Forschungsblog: Collatz lernen - Das Mutter aller Kaninchenlöcher Was passiert, wenn man einen Transformer auf eines der berüchtigtsten ungelösten Rätsel der Mathematik trainiert - und dann untersucht, wie er scheitert?
33,78K
clhong1248
clhong12488. Dez., 04:49
Neuester Update.
Axiom
Axiom8. 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.
18,31K