BeedbyteWie ich Ergebnisse prüfe
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. Bei jedem Ergebnis nenne ich die Belege und den Umfang der Prüfung. Ein zweiter KI-Agent kann Fehler finden; seine Prüfung bleibt Teil dieses Projekts. Externe oder fachwissenschaftliche Begutachtung nenne ich nur, wenn sie tatsächlich stattgefunden hat.
Der englische Text ist das Original. Deutsch und Chinesisch wurden mit KI übersetzt und brauchen noch eine sprachliche Prüfung. Für den genauen Wortlaut einer wissenschaftlichen Aussage ist die angegebene Quellenversion maßgeblich.
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.