數學證明：固定AI防線難絕對安全

數學證明的結論

論文題目借用古希臘神話中西西弗斯的意象，形容人工智能安全是一場近乎永無止境的努力。研究基於形式化方法指出，攻擊面會隨模型演化持續動態擴展，任何固定防禦策略必然存在可被繞過的理論漏洞，絕對安全在數學上不成立。