Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-3,65 %
USELESS
USELESS-7,14 %
IKUN
IKUN-1,87 %
gib
gib+7,45 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-5,09 %
ALON
ALON-15,61 %
LAUNCHCOIN
LAUNCHCOIN-10,38 %
GOONC
GOONC-0,6 %
KLED
KLED-6,3 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,19 %
Boopa
Boopa-4,04 %
PORK
PORK-1,7 %
header
Neel Somani
Formální metody a mechanistická interpretabilnost. Předtím: Zakladatel Eclipse, QR na Citadel. Hrdý Cal Bear.
Neel Somani
Neel Somani11. 1. 13:00
Víkendové vítězství: Důkaz, který jsem předložil pro Erdosův problém #397, přijal Terence Tao. Důkaz byl generován pomocí GPT 5.2 Pro a formalizován pomocí Harmonic. Mnoho otevřených problémů tam leží a čeká, až někdo vyzve ChatGPT, aby je vyřešil:
295
Neel Somani
Neel Somani9. 1. 09:58
Vytvořil jsem web, který se každý večer aukce prodává. Vyhrajete aukci a dostanete agenta Codexu, který stránku přepíše na 24 hodin. Ať jsou šance na vaší straně:
239
Neel Somani
Neel Somani8. 1. 03:47
Mechanistické interpretabilní memy pro týmy s ablací mean
245