Subiecte populare
#
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.
SF-ul devine real O ZI MAI TÂRZIU:
Un AI a rezolvat acum mai multe probleme Erdos decât matematicienii umani.
(Acestea erau probleme de matematică deschisă nerezolvate timp de decenii.)
Treptat, apoi brusc.
5 dec. 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
Am fost neglijent cu formularea mea aici – înlocuiește rezolvat cu formalized. Este impresionant, dar nu la fel de impresionant pe cât sună.
441
Limită superioară
Clasament
Favorite