腾讯网

当 AI 主宰写代码，MoonBit 嵌入「形式化验证」让 Bug 清零

最近，硅谷 AI 圈也开始重新重视这个方向。Axiom 宣布完成 2 亿美元 A 轮融资，核心目标就是打造能自动验证代码的 AI 系统，让大模型的推理过程像数学证明一样严格，每一步都可验证。AI ...