Актуальные темы
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-1,31 %
USELESS
USELESS+3,02 %
IKUN
IKUN+9,65 %
gib
gib+1,3 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-0,03 %
ALON
ALON+5,38 %
LAUNCHCOIN
LAUNCHCOIN-3,99 %
GOONC
GOONC+0,28 %
KLED
KLED-3,31 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,5 %
Boopa
Boopa+1,42 %
PORK
PORK+2,75 %
Jonathan Gorard
Jonathan Gorard
21 мар., 01:53·
Теперь, когда я вернулся в Принстон после мероприятия по запуску expMath от @DARPA, я начинаю собирать свои мысли о будущем автоформализации, ИИ для математики и ИИ для науки в более широком смысле. Вот к чему я пришел. "О продуктивных и непродуктивных трениях"