Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-0,39 %
USELESS
USELESS-8,31 %
IKUN
IKUN-14,89 %
gib
gib-6,22 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-4,63 %
ALON
ALON-7,01 %
LAUNCHCOIN
LAUNCHCOIN-1,91 %
GOONC
GOONC-4,28 %
KLED
KLED-2,09 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-3,24 %
Boopa
Boopa-7,06 %
PORK
PORK0,00 %
Leeham
Leeham
31. 1. 2026·
Erdősův problém #635 autonomně vyřešen pomocí GPT-5.2 Pro. Model přemýšlel jen 50 minut, vydal správný důkaz v Latexu, který byl pak formalizován v Lean Aristotelem z @HarmonicMath. Velké díky @AcerFur za úklid Leanu. Literaturní přehled stále probíhá.