Popularne tematy
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Neel Somani rozwiązał problem Erdősa?
11 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:
Gdy CT się rozpada, miło jest zobaczyć starych bohaterów w dziczy
46
Najlepsze
Ranking
Ulubione