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.
Das Archiv führt mathematischen Status, formale Verifikation und Begutachtung getrennt. Eine offene Frage bleibt offen, wenn ein nützliches Teilergebnis gefunden wird. Auch die Gültigkeit eines Arguments und sein möglicher Neuheitswert sind verschiedene Fragen.
Formale Verifikation
Eine Lean-Datei ist kein pauschales Zertifikat für ein ganzes Projekt. Eine Veröffentlichung soll den exakten Satz, die geprüfte Werkzeugversion, die Annahmen und den formal erfassten Teil des Arguments benennen. Rechnungen außerhalb dieser Formalisierung brauchen eigene Erläuterungen und Prüfungen.
KI-Unterstützung und Begutachtung
KI-Werkzeuge unterstützen die Ideenfindung, das Schreiben und Prüfen von Code, Beweisentwürfe und die Übersetzung dieser Seiten. Prüfungen durch getrennte Agenten werden als intern bezeichnet. Externe Begutachtung wird nur angegeben, wenn eine benannte oder anderweitig dokumentierte Person die genannte Version geprüft hat. Peer Review setzt ein tatsächliches wissenschaftliches Begutachtungsverfahren voraus.
Die englischen Übersichtsseiten sind die redaktionellen Originale. Deutsche und chinesische Texte sind KI-gestützte Übersetzungen und bleiben als sprachlich zu prüfen gekennzeichnet. Für wissenschaftliche Aussagen ist die genaue Quellenfassung maßgeblich, nicht allein die übersetzte Zusammenfassung.
Versionen und Korrekturen
Eine veröffentlichte Version soll Text, Nachweise, Dateien und Änderungshinweis zusammenführen. Spätere Korrekturen erhalten eine neue Version; die frühere bleibt zitierbar. Muss eine Fassung zurückgezogen werden, bleiben Status und Begründung sichtbar.
Ein Manuskript oder Forschungsdownload wird nicht allein dadurch veröffentlicht, dass es in einem Arbeitsverzeichnis liegt. Die Freigabe erfordert eine bewusste Prüfung von Inhalt, Voraussetzungen, Urheberschaft und Belegen.