Mathematik-Community will OpenAIs unverständliche Beweise überarbeiten
Oai-math-revised: a community hub for revising OpenAI's math write-ups
OpenAIs mathematische Schriften auf GitHub gelten als schwer verständlich und mit lückenhaften Quellenangaben versehen. Abhinav Nellore, Johannes Schmitt, Soledad Villar und Rachel Ward haben deshalb oai-math-revised gestartet: ein offenes Repository, in dem Studierende, Postdocs, Professorinnen und Enthusiasten die Texte gemeinsam verbessern. Das Projekt ist über eine Webseite durchsuchbar, und wer als Admin oder Reviewer mitwirken möchte, kann sich per E-Mail melden.
OpenAIs mathematische Schriften auf github.com/openai/math können schwer zu verstehen sein und können unvollständige Quellenangaben enthalten.
- sdenton4
Es fühlt sich an, als bräuchten wir einen neuen Wahrheitszustand für die Mathematik: "Verifiziert-aber-unbewiesen" für Ergebnisse, von denen wir durch formale Verifikation wissen, dass sie wahr sind, aber ohne einen kohärenten Beweis.
Ich würde generell erwarten, dass sich dieser Zustand schnell zu "Bewiesen und verifiziert" auflöst (die Tendenz in der Mathematik war historisch, dass es zunächst komplizierte Erstbeweise für Ergebnisse gab, gefolgt von erheblichen Reduktionen der Beweiskomplexität, sobald neue Werkzeuge und Definitionen verfügbar wurden), aber er könnte trotzdem nützlich sein, um wirklich die Anerkennung demjenigen oder demjenigen, was einen vernünftigen Beweis für ein per Brute-Force verifiziertes Ergebnis liefert, zuzuschreiben.
- vishna
Das ist OpenAIs Art, unbezahlte Praktika von PhD-Studenten zu bekommen
- turzmo
Wenn Mathematiker es bisher nicht genossen haben, sich mit der Formalisierung ihr eigenes Grab zu schaufeln, dann werden sie es jetzt vielleicht genießen, sich ihr eigenes namenloses Massengrab zu schaufeln?