Populaire onderwerpen
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-0,28%
USELESS
USELESS+3,51%
IKUN
IKUN-0,12%
gib
gib+0,77%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-1,27%
ALON
ALON+5,89%
LAUNCHCOIN
LAUNCHCOIN-3,8%
GOONC
GOONC+4,53%
KLED
KLED+2,28%
#
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
17 uur geleden·
Nu ik terug ben in Princeton na het @DARPA expMath kick-off evenement, begin ik mijn gedachten te verzamelen over de toekomst van autoformalisatie, AI voor Wiskunde en AI voor Wetenschap in bredere zin. Dit is waar ik nu sta. "Over productieve en onproductieve wrijving"