● AI 现在经常能完成大量易于验证的软件工程任务，我缩短了对 AI 发展的时间预期 —— LessWrong

📌 一句话摘要 作者大幅缩短了对 AI 发展的时间预期，原因在于观察到当前模型通过迭代式、测试驱动的工作流，在“易于验证且成本低廉”的软件工程任务中表现出色。 📝 详细摘要 作者详细更新了其对 AI 发展的时间预期，指出 AI 能力的进步速度显著加快，特别是在“易于验证且成本低廉”（ES）以及“

● 自动化 AI 研发与 AI 对齐 — LessWrong

📌 一句话摘要 一项关于利用 AI 自动化 AI 对齐研究的风险与可行性的元科学探索，并区分了该过程中验证（verification）与确认（validation）的作用。 📝 详细摘要 本文探讨了自动化 AI 对齐研究的影响，由于时间紧迫，这种做法正日益普及。作者将其定义为一个元科学问题，质疑