Studie: Frontier-GPT-Modelle liefern Lösungskandidaten für rund 60 % von 200 zufällig gezogenen offenen Vermutungen

Der Datensatz OpenConjecture stammt aus arXiv-Mathematikpapern seit Februar 2026; Gegenbeispiele waren etwa 1,3-mal häufiger als Beweise, die Antworten wurden nicht von Experten geprüft, und manche nutzten Fehler oder Unschärfen der Vermutungen.