AI科学家的工具包——严格、可审计、可验证

要点

• ARA通过四种核心技能（研究管理、编译、严谨审查、研究可视化）实现研究的可验证性。
• 其工件结构包含逻辑层、物理层和探索图，确保每个声明都可追踪到原始证据。
• 保留失败路径和死胡同，防止AI重复错误，并支持渐进式信息披露。