KI beweist: Mathematiker lagen falschEine OpenAI-KI hat die Mathematik einen Schritt näher an die Lösung eines berühmten Erdős-Problems gebracht. Seit 80 Jahren hingen die Forscher hier fest.https://www.heise.de/news/KI-beweist-Mathematiker-lagen-falsch-11302698.html?wt_mc=sm.red.ho.mastodon.mastodon.md_beitraege.md_beitraege&utm_source=mastodon#IT #KünstlicheIntelligenz #Mathematik #OpenAI #news