Rubriques tendance
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-4,38 %
USELESS
USELESS-5,82 %
IKUN
IKUN+1,19 %
gib
gib+8,69 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-5,28 %
ALON
ALON-16,01 %
LAUNCHCOIN
LAUNCHCOIN-10,39 %
GOONC
GOONC-0,6 %
KLED
KLED-8,03 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,19 %
Boopa
Boopa+0,04 %
PORK
PORK-1,7 %
header
Neel Somani
Méthodes formelles et interprétabilité mécaniste. Précédent : Fondateur d’Eclipse, QR à Citadel. Fier Cal Bear.
Neel Somani
Neel Somani11 janv., 13:00
Victoire du week-end : La preuve que j'ai soumise pour le Problème d'Erdős #397 a été acceptée par Terence Tao. La preuve a été générée par GPT 5.2 Pro et formalisée avec Harmonic. De nombreux problèmes ouverts sont là, attendant que quelqu'un demande à ChatGPT de les résoudre :
249
Neel Somani
Neel Somani9 janv., 09:58
J'ai créé un site web qui se met aux enchères chaque soir. Gagnez l'enchère, et vous obtenez un agent Codex pour réécrire le site pendant 24 heures. Que la chance soit de votre côté :
185
Neel Somani
Neel Somani8 janv., 03:47
Mèmes d'interprétabilité mécaniste pour les équipes d'ablations de moyenne
191