Popularne tematy
#
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
17 godz. temu·
Teraz, gdy wróciłem do Princeton po wydarzeniu inauguracyjnym expMath @DARPA, zaczynam zbierać myśli na temat przyszłości autoformalizacji, AI w matematyce oraz AI w nauce w szerszym kontekście. Oto, do czego doszedłem. "O produktywnych i nieproduktywnych tarciach"