Populære emner
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico−7,35 %
USELESS
USELESS−10,44 %
IKUN
IKUN−2,36 %
gib
gib−2,02 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk−5,52 %
ALON
ALON−3,77 %
LAUNCHCOIN
LAUNCHCOIN−3,91 %
GOONC
GOONC−2,63 %
KLED
KLED−5,11 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,02 %
Boopa
Boopa−8,06 %
PORK
PORK0,00 %
Jonathan Gorard
Jonathan Gorard
21. mars, 01:53·
Nå som jeg er tilbake i Princeton etter @DARPA expMath-oppstartsarrangementet, begynner jeg å samle tankene mine om fremtiden for autoformalisering, AI for matematikk, og AI for naturvitenskap generelt. Her er hvor jeg har havnet. "Om produktive og uproduktive friksjoner"