Populární témata
#
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. 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á.