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.
Werkzeuge und Prüfungen
Jordi Gartner verantwortet die redaktionelle Veröffentlichung über Beedbyte. KI-Werkzeuge unterstützen einzelne Aufgaben: Konstruktion und Beweisentwicklung, Code und umfangreiche Berechnungen, gezielte Quellenprüfungen und Übersetzungen. Jeder Artikel nennt die für sein Ergebnis relevanten Beiträge und den genauen Umfang der Verifikation.
Prüfungen durch getrennte KI-Agenten sind projektinterne Prüfungen. Eine externe Begutachtung muss die geprüfte Version, den Umfang und die prüfende Person oder das Prüfverfahren dokumentieren. „Peer Review“ bezeichnet ausschließlich ein tatsächliches wissenschaftliches Begutachtungsverfahren.
Die Forschungseinträge nennen ihre Originalsprache und den Stand der Sprachprüfung. Einige deutsche und chinesische Forschungsübersetzungen entstanden mit KI-Unterstützung und bleiben bis zur menschlichen Sprachprüfung als Entwurf gekennzeichnet. 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. Für Korrekturen wird eine neue Version veröffentlicht; frühere Fassungen bleiben unter festen Adressen zitierbar. Wenn ich eine Veröffentlichung zurückziehe, bleiben der Status und der Grund sichtbar.