Populære emner
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico−2,35 %
USELESS
USELESS+2,77 %
IKUN
IKUN+15,13 %
gib
gib−0,76 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk−1,66 %
ALON
ALON−13,35 %
LAUNCHCOIN
LAUNCHCOIN−1,38 %
GOONC
GOONC−2,77 %
KLED
KLED+8,69 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,74 %
Boopa
Boopa−1,16 %
PORK
PORK0,00 %
header
Neel Somani
Formelle metoder og mekanistisk tolkbarhet. Forrige: Grunnlegger av Eclipse, QR ved Citadel. Stolt Cal Bear.
Neel Somani
Neel Somani11. jan., 13:00
Helgeseier: Beviset jeg leverte for Erdos-problem #397 ble akseptert av Terence Tao. Beviset ble generert av GPT 5.2 Pro og formalisert med Harmonic. Mange åpne problemer ligger der og venter på at noen skal be ChatGPT løse dem:
104
Neel Somani
Neel Somani9. jan., 09:58
Jeg har laget en nettside som auksjonerer seg selv hver kveld. Vinner du auksjonen, får du en Codex-agent til å skrive om siden i 24 timer. Må oddsene være på din side:
50
Neel Somani
Neel Somani8. jan., 03:47
Memes med mekanistisk tolkbarhet for gjennomsnittsablaterende team
45