Populære emner
#
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 blir virkelighet EN DAG SENERE:
En AI har nå løst flere Erdos-problemer enn menneskelige matematikere.
(Dette var åpne matematiske problemer som ikke hadde blitt løst i flere tiår.)
Gradvis, så plutselig.
5. des. 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
Jeg var slurvete med formuleringen her – bytt ut løst med formalisert. Det er imponerende, men ikke så imponerende som det høres ut.
461
Topp
Rangering
Favoritter