AI 参与及责任说明

OET 的整体方向、所要讨论的问题、结构安排、概念与抽象方式，以及部分证明思路，由作者提出。AI 参与讨论，协助探索这些想法的可能性，并承担证明推导、计算、反例检验、文字整理和 Lean 形式化等工作。

实际写作中，上述工作反复进行。作者提出想法并与模型讨论；模型给出推导、计算或草稿，再由作者审核其中的条件与结论，进行修正、增补和删减。必要时补充证明、调整定义，或撤去相关内容。修订后的稿件再次进入讨论和验证，如此循环。

书中内容的取舍、修订与发布由作者审定，相关错误和疏漏也由作者承担责任。AI 给出的论证需要核查，Lean 已验证的部分也仍需检查形式化陈述与正文是否一致，不能据此推及尚未形式化的内容。