Beedbyte我如何核查研究结果
有限计算只对所列输入和检查范围成立。大量例子中的规律可以启发猜想，但不能证明关于无限情形的命题。证明需要列明假设，并覆盖命题量词所要求的全部情况。
我分别记录命题的数学状态、形式化验证和评审情况。部分结果不能解决整个问题。论证是否正确，以及结果是否新颖，也是两个不同的问题。
形式化验证
对于 Lean 形式化，我注明准确的定理、假设和检查所用的工具链，并说明它覆盖论证的哪一部分。形式化以外的计算需要另行检查。
AI 辅助与评审
AI 协助了部分内部代码与论证检查，以及版本历史中部分文字的撰写和翻译。每项结果都会注明依据及检查范围。另一位 AI 代理可以帮助发现错误，但这仍属于本项目的核查；只有实际经过外部或学术评审时，才会标明相应评审。
这些页面以英文为原文。德文和中文由 AI 辅助翻译，仍需语言审校。科学命题的准确措辞以注明的来源版本为准。
版本与更正
对于研究文章，每个公开版本保存对应的正文、证据、所附文件（如有）和修改说明。更正会生成新版本，旧文章版本保留固定地址，仍可引用。如果我撤回某次发布，其状态和原因会继续显示。