Tópicos em alta
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-0,07%
USELESS
USELESS+3,91%
IKUN
IKUN-0,12%
gib
gib+0,77%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-1,01%
ALON
ALON+6,05%
LAUNCHCOIN
LAUNCHCOIN+4,46%
GOONC
GOONC+4,53%
KLED
KLED-1,34%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,01%
Boopa
Boopa-2,31%
PORK
PORK+2,75%
Jonathan Gorard
Jonathan Gorard
17 horas atrás·
Agora que estou de volta a Princeton após o evento de lançamento do expMath @DARPA, estou começando a reunir minhas ideias sobre o futuro da autoformalização, IA para Matemática e IA para Ciência de forma mais ampla. É aqui que eu cheguei. "Sobre atritos produtivos e improdutivos"