Argomenti di tendenza
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+3,39%
USELESS
USELESS-7,21%
IKUN
IKUN-8,9%
gib
gib-4,26%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-4,04%
ALON
ALON-4,55%
LAUNCHCOIN
LAUNCHCOIN+0,25%
GOONC
GOONC-0,73%
KLED
KLED-13,44%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,46%
Boopa
Boopa-7,06%
PORK
PORK0,00%
Leeham
Leeham
31 gen 2026·
Il Problema di Erdős #635 risolto autonomamente da GPT-5.2 Pro. Il modello ha pensato per soli 50 minuti, producendo una prova corretta in Latex, poi formalizzata in Lean da @HarmonicMath's Aristotle. Un grande grazie a @AcerFur per aver sistemato il Lean. La revisione della letteratura è in corso.