KI auf Beweissuche: OpenAI will erneut hunderte offene Mathe-Probleme gelöst haben

Ein noch unveröffentlichtes Sprachmodell drängt in die Königsdisziplin der Wissenschaft. Ein umfangreicher Datensatz an angeblichen Lösungen für jahrzehntealte Mathematik-Rätsel zwingt die akademis...