Populaire onderwerpen
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-4,38%
USELESS
USELESS+2,04%
IKUN
IKUN+16,75%
gib
gib+1,08%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-1,33%
ALON
ALON-9,21%
LAUNCHCOIN
LAUNCHCOIN-2,85%
GOONC
GOONC+0,44%
KLED
KLED+13,12%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,44%
Boopa
Boopa+2,63%
PORK
PORK-0,96%
header
Neel Somani
Formele methoden en mechanistische interpretatie. Vorige: Oprichter van Eclipse, QR bij Citadel. Trotse Cal Bear.
Neel Somani
Neel Somani11 jan, 13:00
Weekendwinst: Het bewijs dat ik heb ingediend voor het Erdos Probleem #397 is geaccepteerd door Terence Tao. Het bewijs is gegenereerd door GPT 5.2 Pro en geformaliseerd met Harmonic. Veel open problemen liggen daar, wachtend op iemand die ChatGPT aanmoedigt om ze op te lossen:
197
Neel Somani
Neel Somani9 jan, 09:58
Ik heb een website gebouwd die zichzelf elke avond veilt. Win de veiling, en je krijgt een Codex-agent om de site 24 uur lang opnieuw te schrijven. Moge het geluk aan jouw zijde zijn:
111
Neel Somani
Neel Somani8 jan, 03:47
Mechanistische interpreteerbaarheid memes voor het gemiddeld afschalen van teams
112