Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+5,96 %
USELESS
USELESS+2,86 %
IKUN
IKUN+3,16 %
gib
gib+7,01 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+1,93 %
ALON
ALON-5,84 %
LAUNCHCOIN
LAUNCHCOIN-7,87 %
GOONC
GOONC-0,37 %
KLED
KLED+0,64 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,02 %
Boopa
Boopa-2,83 %
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:
339
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ě:
272
Neel Somani
Neel Somani8. 1. 03:47
Mechanistické interpretabilní memy pro týmy s ablací mean
278