Populární témata
#
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.
Sci-fi se stává skutečností O DEN POZDĚJI:
AI nyní vyřešila více Erdosových problémů než lidští matematici.
(To byly otevřené matematické problémy, které byly nevyřešené desítky let.)
Postupně, pak najednou.
5. 12. 00:59
Sci-fi se v posledních dnech stává skutečností:
1) AI – zcela sama – vyřešila DVA Erdosovy problémy (#124 a #481). Byly to otevřené matematické problémy nevyřešené desítky let.
2) První vůbec článek v teoretické fyzice, kde hlavní myšlenka vycházela z AI
Byl jsem tu nedbalý ve formulaci – nahradit vyřešené formalizovaným. Je to působivé, ale ne tak působivé, jak to zní.
106,2K
Top
Hodnocení
Oblíbené