Актуальні теми
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+0,43%
USELESS
USELESS-5,4%
IKUN
IKUN-15,12%
gib
gib-3,27%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-1,82%
ALON
ALON-4,95%
LAUNCHCOIN
LAUNCHCOIN-1,46%
GOONC
GOONC-2,67%
KLED
KLED+4,01%
#
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 січ. 2026 р.·
Задача Ердеша #635 автономно вирішена GPT-5.2 Pro. Модель думала лише 50 хвилин, виводячи правильний доказ у Latex, а потім формалізований у Lean Арістотелям @HarmonicMath. Велика подяка @AcerFur за очищення Lean. Огляд літератури триває.