Argomenti di tendenza
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+0,21%
USELESS
USELESS+1,66%
IKUN
IKUN-0,12%
gib
gib+0,77%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-2,02%
ALON
ALON+5,35%
LAUNCHCOIN
LAUNCHCOIN-1,54%
GOONC
GOONC+0,99%
KLED
KLED-1,51%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,01%
Boopa
Boopa-3,45%
PORK
PORK+2,75%
Jonathan Gorard
Jonathan Gorard
18 ore fa·
Ora che sono tornato a Princeton dopo l'evento di kickoff expMath di @DARPA, sto iniziando a raccogliere i miei pensieri sul futuro dell'autoformalizzazione, dell'AI per la Matematica e dell'AI per la Scienza in generale. Ecco dove sono arrivato. "Sulle frizioni produttive e improduttive"