Trendande ämnen
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico−1,43 %
USELESS
USELESS+4,61 %
IKUN
IKUN+0,46 %
gib
gib+0,99 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk−0,64 %
ALON
ALON+4,89 %
LAUNCHCOIN
LAUNCHCOIN+2,91 %
GOONC
GOONC+4,53 %
KLED
KLED−3,41 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP−0,01 %
Boopa
Boopa−1,14 %
PORK
PORK+2,75 %
Jonathan Gorard
Jonathan Gorard
16 timmar sedan·
Nu när jag är tillbaka i Princeton efter @DARPA expMath-startevenemanget börjar jag samla mina tankar om framtiden för autoformalisering, AI för matematik och AI för vetenskap i stort. Här är dit jag har kommit dit. "Om produktiva och improduktiva friktioner"