BeedbyteGenau angeben, was geprüft wurde
Eine endliche Rechnung belegt ein Ergebnis nur für die angegebenen Eingaben und den untersuchten Bereich. Ein Muster in vielen Beispielen kann eine Vermutung nahelegen; es beweist keine unendliche Aussage. Beweise müssen ihre Voraussetzungen nennen und alle quantifizierten Fälle abdecken.
Ich halte den mathematischen Stand einer Aussage, ihre formale Verifikation und ihre Begutachtung getrennt fest. Ein Teilergebnis löst nicht automatisch die ganze Frage. Ob ein Argument stimmt und ob es neu ist, sind ebenfalls zwei verschiedene Fragen.
Formale Verifikation
Bei einer Lean-Formalisierung nenne ich den genauen Satz, die Annahmen und die geprüften Werkzeugversionen. Ich gebe auch an, welchen Teil des Arguments sie abdeckt. Rechnungen außerhalb dieser Formalisierung brauchen eigene Prüfungen.
KI-Unterstützung und Begutachtung
KI unterstützte einzelne interne Code- und Argumentprüfungen sowie einige Formulierungen und Übersetzungen in der Versionsgeschichte. Prüfungen durch getrennte KI-Agenten sind interne Prüfungen. Sie sind keine externe Begutachtung und kein Peer Review. Bei einer externen Prüfung müssen die Version und die prüfende Person genannt oder die Prüfung anderweitig dokumentiert sein. „Peer Review“ verwende ich nur für ein tatsächliches wissenschaftliches Begutachtungsverfahren.
Die englischen Übersichtsseiten sind die Originale. Die deutschen und chinesischen Übersetzungen sind mit KI entstanden und müssen noch sprachlich geprüft werden. Für den genauen Wortlaut einer wissenschaftlichen Aussage gilt die angegebene Quellenversion.
Versionen und Korrekturen
Bei Forschungsveröffentlichungen hält jede veröffentlichte Version Text, Nachweise, gegebenenfalls angehängte Dateien und Änderungshinweis zusammen. Korrekturen bekommen eine neue Version; frühere Beitragsfassungen bleiben unter festen Adressen zitierbar. Wenn ich eine Veröffentlichung zurückziehe, bleiben der Status und der Grund sichtbar.
Bevor ich eine Forschungsdatei veröffentliche, prüfe ich Inhalt, Annahmen, Urheberschaft und Belege.