Popularne tematy
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-5,44%
USELESS
USELESS+4,82%
IKUN
IKUN+11,5%
gib
gib-1,7%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-0,72%
ALON
ALON-9,04%
LAUNCHCOIN
LAUNCHCOIN-2,68%
GOONC
GOONC+0,44%
KLED
KLED+12,71%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,44%
Boopa
Boopa+1,01%
PORK
PORK-0,96%
header
Neel Somani
Metody formalne i mechanistyczna interpretowalność. Poprzednio: Założyciel Eclipse, QR w Citadel. Dumny Cal Bear.
Neel Somani
Neel Somani11 sty, 13:00
Weekendowy sukces: Dowód, który przesłałem na Problem Erdosa #397, został zaakceptowany przez Terence'a Tao. Dowód został wygenerowany przez GPT 5.2 Pro i sformalizowany z Harmonic. Wiele otwartych problemów czeka tam, aż ktoś poprosi ChatGPT o ich rozwiązanie:
163
Neel Somani
Neel Somani9 sty, 09:58
Zbudowałem stronę internetową, która licytuje się sama każdego wieczoru. Wygraj licytację, a otrzymasz agenta Codex, który przepisze stronę przez 24 godziny. Niech szczęście będzie po twojej stronie:
102
Neel Somani
Neel Somani8 sty, 03:47
Memes dotyczące mechanistycznej interpretowalności dla zespołów zajmujących się średnim wygładzaniem
103