Beedbyte我如何核查研究结果
有限计算只对所列输入和检查范围成立。大量例子中的规律可以启发猜想，但不能证明关于无限情形的命题。证明需要列明假设，并覆盖命题量词所要求的全部情况。
我分别记录命题的数学状态、形式化验证和评审情况。部分结果不能解决整个问题。论证是否正确，以及结果是否新颖，也是两个不同的问题。
形式化验证
对于 Lean 形式化，我注明准确的定理、假设和检查所用的工具链，并说明它覆盖论证的哪一部分。形式化以外的计算需要另行检查。
工具与核查
Jordi Gartner 负责通过 Beedbyte 编辑发布内容。AI 工具协助部分任务，包括构造与证明推导、代码与长时间计算、定向来源核查和翻译。各文章注明与其结果相关的具体贡献以及验证的准确范围。
不同 AI 智能体完成的检查属于项目内部核查。外部评审必须记录被评审的版本、范围以及评审者或评审流程。“同行评审”仅用于实际的学术评审程序。
研究条目会注明原文语言和语言审校状态。部分德文和中文研究译文使用 AI 辅助，在人工语言审校前仍标为草稿。科学命题的准确表述以所注明的源版本为准。
版本与更正
对于研究文章，每个公开版本保存对应的正文、证据、所附文件（如有）和修改说明。更正会生成新版本，旧文章版本保留固定地址，仍可引用。如果我撤回某次发布，其状态和原因会继续显示。