Temas en tendencia
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-5.09 %
USELESS
USELESS+5.17 %
IKUN
IKUN+19.08 %
gib
gib-1.7 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+0.28 %
ALON
ALON-7.38 %
LAUNCHCOIN
LAUNCHCOIN-3.54 %
GOONC
GOONC+0.44 %
KLED
KLED+21.27 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0.44 %
Boopa
Boopa+1.01 %
PORK
PORK-0.96 %
header
Neel Somani
Métodos formales e interpretabilidad mecanicista. Anterior: Fundador de Eclipse, QR en Citadel. Orgulloso Oso Californico.
Neel Somani
Neel Somani11 ene, 13:00
Victoria del fin de semana: La prueba que presenté para el Problema #397 de Erdos fue aceptada por Terence Tao. La demostración fue generada por GPT 5.2 Pro y formalizada con Harmonic. Muchos problemas abiertos están ahí, esperando a que alguien le pida a ChatGPT que los resuelva:
187
Neel Somani
Neel Somani9 ene, 09:58
He creado una web que se subasta cada noche. Si ganas la subasta, consigues que un agente de Codex reescriba el sitio durante 24 horas. Que las probabilidades estén a tu favor:
103
Neel Somani
Neel Somani8 ene, 03:47
Memes de interpretabilidad mecanicista para equipos que ablacionan a la media
104