Populaire onderwerpen
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-21,21%
USELESS
USELESS-1,6%
IKUN
IKUN-3,07%
gib
gib-1,38%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-2,62%
ALON
ALON+0,58%
LAUNCHCOIN
LAUNCHCOIN-10,1%
GOONC
GOONC-0,65%
KLED
KLED-1,54%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-3,92%
Boopa
Boopa-6,31%
PORK
PORK+4,05%
VraserX e/acc
VraserX e/acc
8 jan, 03:42·
🚨 Dit is enorm. GPT-5.2 Pro, werkend met Aristoteles, heeft autonoom een eerder openstaand Erdős-probleem gegenereerd, geformaliseerd en volledig opgelost in Lean. Geen menselijke bewijsvoering. Geen hints. Geen ondersteuning. Dit is een originele wiskundige ontdekking door AI.