Populaire onderwerpen
#
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 wordt werkelijkheid ÉÉN DAG LATER:
Een AI heeft nu meer Erdos-problemen opgelost dan menselijke wiskundigen.
(Dit waren open wiskundeproblemen die decennia lang onopgelost waren.)
G geleidelijk, dan plotseling.
5 dec, 00:59
Sci-fi wordt de laatste paar dagen werkelijkheid:
1) AI -- volledig op eigen kracht -- heeft TWEE Erdos-problemen opgelost (#124 en #481). Dit waren wiskundige problemen die decennia lang onopgelost waren.
2) Het eerste paper in de theoretische natuurkunde waarin het belangrijkste idee afkomstig was van een AI
Ik was slordig met mijn formulering hier - vervang opgelost door geformaliseerd. Het is indrukwekkend, maar niet zo indrukwekkend als het klinkt.
106,23K
Boven
Positie
Favorieten