Актуальні теми
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-5,85%
USELESS
USELESS-10,45%
IKUN
IKUN-10,29%
gib
gib+0,2%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-4,88%
ALON
ALON-9,21%
LAUNCHCOIN
LAUNCHCOIN-8,93%
GOONC
GOONC-9,69%
KLED
KLED-0,32%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-2,84%
Boopa
Boopa-12,91%
PORK
PORK0,00%
Thomas Bloom
Thomas Bloom
30 лист. 2025 р.·
Як власник/підтримувач сайту Erdős problems, є тема з коментарями щодо цього рішення для #124: 1) Це гарний доказ, який був наданий ШІ з формальної заяви без участі людини, а потім формалізований у Lean. Це вже вражає!