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.
AI Notkilleveryoneism Memes ⏸️
AI Notkilleveryoneism Memes ⏸️5 dec. 00:59
Sci-fi som blir verklighet de senaste dagarna: 1) AI – helt på egen hand – löste TVÅ Erdos-problem (#124 och #481). Detta var öppna matteproblem som varit olösta i årtionden. 2) Första artikeln någonsin inom teoretisk fysik där huvudidén kom från en 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.
106,21K