Subiecte populare
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-0,28 %
USELESS
USELESS+3,44 %
IKUN
IKUN-0,12 %
gib
gib+0,77 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-1,41 %
ALON
ALON+6 %
LAUNCHCOIN
LAUNCHCOIN+4,22 %
GOONC
GOONC+4,53 %
KLED
KLED+2,18 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,01 %
Boopa
Boopa-2,04 %
PORK
PORK+2,75 %
Jonathan Gorard
Jonathan Gorard
Cu 17 ore în urmă·
Acum că m-am întors la Princeton după evenimentul de lansare @DARPA expMath, încep să-mi adun gândurile despre viitorul autoformalizării, AI pentru Matematică și AI pentru Știință în general. Aici am ajuns. "Despre fricțiunile productive și neproductive"