OpenAI veröffentlicht hunderte KI-generierte Mathe-Beweise auf GitHub

OpenAI veröffentlicht eine umfangreiche Sammlung KI-generierter mathematischer Beweise auf GitHub, inklusive Lean-Formalisierungen zur maschinellen Überprüfung. Ein durchschnittliches Ergebnis verbrauchte Rechenkapazität von etwa drei Stunden ChatGPT-Pro-Thinking. Doch 25 Fields-Medaillen-Träger wa