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. 2025
Sci-fi becoming real in the last few days:
1) AI -- entirely on its own -- solved TWO Erdos Problems (#124 and #481). These were open math problems unsolved for decades.
2) First ever paper in theoretical physics in which the main idea came from an 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í.
456
Top
Hodnocení
Oblíbené