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., 00:59
SF-ul devine real în ultimele zile:
1) AI – complet pe cont propriu – a rezolvat DOUĂ probleme Erdos (#124 și #481). Acestea erau probleme matematice deschise nerezolvate timp de decenii.
2) Primul articol din fizica teoretică în care ideea principală a venit de la o inteligență artificială
Am fost neglijent cu formularea mea aici – înlocuiește rezolvat cu formalized. Este impresionant, dar nu la fel de impresionant pe cât sună.
87,31K
Limită superioară
Clasament
Favorite