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.
Sci-fi staje się rzeczywistością JEDEN DZIEŃ PÓŹNIEJ:
AI rozwiązało teraz więcej problemów Erdősa niż ludzcy matematycy.
(To były otwarte problemy matematyczne, które pozostawały nierozwiązane przez dziesięciolecia.)
Stopniowo, a potem nagle.
5 gru 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
Byłem niedbały w moim sformułowaniu - zamień "rozwiązane" na "sformalizowane". To imponujące, ale nie tak imponujące, jak się wydaje.
443
Najlepsze
Ranking
Ulubione