La science-fiction devient réalité UN JOUR PLUS TARD : Une IA a maintenant résolu plus de problèmes d'Erdős que les mathématiciens humains. (Ce sont des problèmes mathématiques non résolus depuis des décennies.) Graduellement, puis soudainement.
AI Notkilleveryoneism Memes ⏸️
AI Notkilleveryoneism Memes ⏸️5 déc. 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
J'ai été négligent avec mes mots ici - remplacez "résolu" par "formalisé". C'est impressionnant, mais pas aussi impressionnant que cela en a l'air.
446