科学发现

表示发现的检验

Physics Zero、狄拉克、Zeta和超对称性是该计划旨在运行的检验。它们都不是AIEN的功能。每一项检验都将测试机器是否能发现一种表示，因为该表示在付出自身复杂性代价后，能更好地解释未见的观测结果。

规则

当实验旨在测试发现时，绝不要向AIEN提供命名答案。

每项检验将提供通用的数学工具而非答案。只有在对保留数据表现出正向图灵评分时，所出现的结构才被认可。图灵评分的计算方式

每项检验都会从研究状态记录中获取其条目（如果存在的话）。

Physics Zero是工作顺序中的最后一项。与其他检验一样，它将遵循上述规则。

它将是一次表示发现的检验：AIEN不会被给予命名答案，只有在对未见过的行为表现出解释力时，所出现的结构才被认可。

尚未列入状态记录。

不会提供狄拉克原语。检验将提供通用能力，并测试狄拉克结构是否因表现出解释力而自然涌现。

机器不会被教授黎曼假设、Zeta空间或临界线。该检验将测试表示的转变：分析、算子、谱，再到几何或拓扑。

只有在扣除复杂性代价后，能提升保留数据的解释性能时，转变才算有效。

不会硬编码超对称性理论。考试将询问系统是否发现了状态类之间的关系，因为这种关系能够压缩未见的行为。

这些考试的完整设计属于项目后期阶段，待通用数学工具建立之后。在此之前，它们仍只是设计和开放问题。查看今日已存在的内容。