1
AI-generated code that works – and proves it
AI生成代码靠得住？形式化方法给出数学级别的安全保障，从此告别“测试不能证明没有bug”的焦虑。
Article URL: https://www.codemetal.ai/research/ai-generated-code-that-works-and-proves-it Comments URL: https://news.ycombinator.com/item?id=48186334 …