开发者探讨AI生成SaaS后端加数学证明能否提升信任

一位开发者提出，AI工具如Lovable、Cursor、Claude Code虽能快速生成可运行的SaaS，但无法保证用户数据隔离和授权逻辑不被利用。他受Anthropic在AI形式化验证方面工作的启发，花数月开发了一套实验性授权策略DSL，可生成形式化证明义务和后端强制执行，思考是否能成为AI应用构建器的基础。