Rubriques tendance
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-4,35 %
USELESS
USELESS-2,82 %
IKUN
IKUN-4,71 %
gib
gib-3,53 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+0,63 %
ALON
ALON+5,24 %
LAUNCHCOIN
LAUNCHCOIN+4,62 %
GOONC
GOONC-3,02 %
KLED
KLED+11,82 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+1,31 %
Boopa
Boopa-4,34 %
PORK
PORK0,00 %
VraserX e/acc
VraserX e/acc
8 janv., 03:42·
🚨 C'est énorme. GPT-5.2 Pro, travaillant avec Aristote, a généré, formalisé et entièrement résolu de manière autonome un problème d'Erdős précédemment ouvert dans Lean. Aucune preuve humaine. Aucun indice. Aucun échafaudage. C'est une découverte mathématique originale par l'IA.