Tópicos populares
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-2,62%
USELESS
USELESS+2,65%
IKUN
IKUN+13,9%
gib
gib-0,76%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-2,22%
ALON
ALON-13,06%
LAUNCHCOIN
LAUNCHCOIN-9,47%
GOONC
GOONC-2,22%
KLED
KLED+11,63%
#
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
Métodos formais e interpretabilidade mecanicista. Anterior: Fundador da Eclipse, QR na Citadel. Orgulhoso Cal Bear.
Neel Somani
Neel Somani11/01, 13:00
Vitória de fim de semana: A prova que submeti para o Problema de Erdos #397 foi aceita por Terence Tao. A prova foi gerada pelo GPT 5.2 Pro e formalizada com Harmonic. Muitos problemas em aberto estão lá, esperando que alguém peça ao ChatGPT para resolvê-los:
114
Neel Somani
Neel Somani9/01, 09:58
Criei um site que se leiloa todas as noites. Ganhe o leilão e você recebe um agente Codex para reescrever o site por 24 horas. Que a sorte esteja a seu favor:
58
Neel Somani
Neel Somani8/01, 03:47
Memes de interpretabilidade mecanicista para equipas de média ablação
57