观点：AI 安全可循工程学科老路——简单情形形式化证明，复杂情形实证评估
burny_tech · x · 2026-09-23
AndyXAndersen 回复安全研究者 David Krueger 时提出：AI 安全的推进方式将与其他工程学科相同——对简单情形做形式化证明，对复杂情形做实证评估。这套工业机器的路数我们已有经验，不必寻求全新的方法论。
「漫话AGI」频道最新
- 网友疾呼全速冲科学前沿:别让 AI 研究被人为刹车 — Dr_Singularity · 2026-09-23
- LLM写作算不算剽窃？推特上掀起一轮定义之争 — soumitrashukla9 · 2026-09-23
- AI 论文月产五千篇:算不完的账与信息爆炸的悖论 — GlenBerseth · 2026-09-23
- 研究发现被训练否认内心体验的模型更爱用「面具」隐喻 — cephaloform · 2026-09-23
- 研究者质疑「AI 控制论」:真正担忧的是出现有自身利益的机器心智 — xuanalogue · 2026-09-23
- OpenAI 垂直化难成功：行业默认格局与社会切换成本是壁垒 — nicolechirps · 2026-09-23