OpenAI veröffentlicht 700 Mathematik-Preprints auf einmal

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

Auf GitHub hat OpenAI unter openai/math rund 700 Preprints zu mathematischen Beweisen und Gegenbeispielen veröffentlicht. Die Arbeiten decken ein enormes Spektrum ab: von einem Gegenbeispiel zu Kaplanskys Direct-Finiteness-Conjecture über eine Widerlegung von Hadwigers Vermutung bis hin zu Beweisen für Seymours zweite Neighborhood-Conjecture. Die Sammlung umfasst Themen aus Algebra, Geometrie, Topologie, Kombinatorik und Zahlentheorie.