Argomenti di tendenza
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+0,68%
USELESS
USELESS+0,09%
IKUN
IKUN+13,12%
gib
gib-0,76%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-2,6%
ALON
ALON-17,59%
LAUNCHCOIN
LAUNCHCOIN-7,23%
GOONC
GOONC-1,32%
KLED
KLED+14,24%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,74%
Boopa
Boopa+1,05%
PORK
PORK0,00%
header
Neel Somani
Metodi formali e interpretabilità meccanicistica. Precedente: Fondatore di Eclipse, QR a Citadel. Fiero Cal Bear.
Neel Somani
Neel Somani11 gen, 13:00
Vittoria del weekend: La dimostrazione che ho inviato per il Problema di Erdos #397 è stata accettata da Terence Tao. La dimostrazione è stata generata da GPT 5.2 Pro e formalizzata con Harmonic. Molti problemi aperti sono lì, in attesa che qualcuno chieda a ChatGPT di risolverli:
86
Neel Somani
Neel Somani9 gen, 09:58
Ho creato un sito web che si mette all'asta ogni sera. Vinci l'asta e ottieni un agente Codex per riscrivere il sito per 24 ore. Che la fortuna sia dalla tua parte:
33
Neel Somani
Neel Somani8 gen, 03:47
Memes di interpretabilità meccanicistica per team che abbattono la media
25