Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-0,14 %
USELESS
USELESS+2,3 %
IKUN
IKUN+0,22 %
gib
gib+0,99 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-0,73 %
ALON
ALON+5,06 %
LAUNCHCOIN
LAUNCHCOIN+4,79 %
GOONC
GOONC+4,53 %
KLED
KLED-2,17 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,01 %
Boopa
Boopa-1,14 %
PORK
PORK0,00 %
Jonathan Gorard
Jonathan Gorard
Před 14 h·
Nyní, když jsem zpět v Princetonu po zahájení expMathu v roce @DARPA, začínám si sbírat myšlenky o budoucnosti autoformalizace, AI pro matematiku a AI pro vědu obecně. Tady jsem se dostal. "O produktivních a neproduktivních třeních"