Trendande ämnen
#
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 verklig EN DAG SENARE:
En AI har nu löst fler Erdos-problem än mänskliga matematiker.
(Detta var öppna matematikproblem som varit olösta i årtionden.)
Gradvis, sedan plötsligt.


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


Jag var slarvig med formuleringen här – ersätt löst med formaliserad. Det är imponerande, men inte så imponerande som det låter.
461
Topp
Rankning
Favoriter