Emergent Formal Verification: How an Autonomous AI Ecosystem Independently Discovered SMT-Based Safety Across Six Domains
涌现形式验证:自主AI生态系统如何在六个领域独立发现基于SMT的安全性
机构 * Aisophical SRL
专题命中 其他安全 :safety(title,abstract);AI safety(abstract);分类 cs.AI
AI总结 自主AI生态系统在无显式形式方法指令下,独立在六个AI安全领域发现SMT求解器的应用,提出统一框架实现100%准确验证。
Comments 10 pages, 3 figures, 5 tables. Code: https://github.com/octavuntila-prog/substrate-guard. Companion paper: https://doi.org/10.5281/zenodo.19157571