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 2025
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.
448
Boven
Positie
Favorieten