Subiecte populare
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-4,86 %
USELESS
USELESS+2,46 %
IKUN
IKUN+16,18 %
gib
gib+1,08 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-0,65 %
ALON
ALON-9,06 %
LAUNCHCOIN
LAUNCHCOIN-8,01 %
GOONC
GOONC+0,44 %
KLED
KLED+15,06 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,44 %
Boopa
Boopa+4,13 %
PORK
PORK-0,96 %
header
Neel Somani
Metode formale și interpretabilitate mecanică. Anterior: Fondatorul Eclipse, QR la Citadel. Mândrul Cal Bear.
Neel Somani
Neel Somani11 ian., 13:00
Victorie de weekend: Dovada pe care am trimis-o pentru Problema Erdos #397 a fost acceptată de Terence Tao. Demonstrația a fost generată de GPT 5.2 Pro și formalizată cu Harmonic. Multe probleme deschise stau acolo, așteptând ca cineva să-l determine pe ChatGPT să le rezolve:
192
Neel Somani
Neel Somani9 ian., 09:58
Am construit un site care se licitează singur în fiecare seară. Dacă câștigi licitația, primești un agent Codex care să rescrie site-ul pentru 24 de ore. Să fie șansele de partea ta:
108
Neel Somani
Neel Somani8 ian., 03:47
Meme-uri de interpretabilitate mecanică pentru echipe cu ablație medie
108