Актуальні теми
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-0,47%
USELESS
USELESS-7,68%
IKUN
IKUN-14,45%
gib
gib-5,03%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-4,53%
ALON
ALON-4,87%
LAUNCHCOIN
LAUNCHCOIN-0,73%
GOONC
GOONC-4,28%
KLED
KLED+3,78%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-1,15%
Boopa
Boopa-7,06%
PORK
PORK0,00%
Leeham
Leeham
31 січ. 2026 р.·
Задача Ердеша #635 автономно вирішена GPT-5.2 Pro. Модель думала лише 50 хвилин, виводячи правильний доказ у Latex, а потім формалізований у Lean Арістотелям @HarmonicMath. Велика подяка @AcerFur за очищення Lean. Огляд літератури триває.