Popularne tematy
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-1,1%
USELESS
USELESS-8,26%
IKUN
IKUN-14,89%
gib
gib-6,22%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-4,54%
ALON
ALON-7,01%
LAUNCHCOIN
LAUNCHCOIN-1,91%
GOONC
GOONC-4,28%
KLED
KLED+0,72%
#
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 sty 2026·
Problem Erdősa #635 autonomicznie rozwiązany przez GPT-5.2 Pro. Model myślał przez zaledwie 50 minut, generując poprawny dowód w LaTeX, a następnie sformalizowany w Lean przez @HarmonicMath's Arystotelesa. Wielkie podziękowania dla @AcerFur za uporządkowanie Leana. Przegląd literatury trwa.