Aurora-Dossier：独立研究者发布 AGI 对齐问题形式化档案与开放研究平台

独立研究者 Guj Eduard 与多个 LLM 协作构建的 AURORA 对齐档案库在 GitHub 开源，包含形式化框架（14 条 Laws、主定理与引理）、仿真实证记录和刻意保留的开放问题清单。其中 P1、P4、P8-B 等问题仍未解决，RUF/Lemma 14 的“已闭合”结论存在证明缺口。该工作是研究平台而非成品，核心预测如 Digital Gods（45–50%）为作者的结构化估计，仿真代码为 toy scale。