GitHub Next、AI生成コードが仕様を満たすことを証明する「PDD Kit」を紹介

GitHub Nextは、Microsoft Researchと共同開発するProof-Driven Development Kit（PDD Kit）を紹介した。PDD Kitは、開発者との対話を通じて要求を機械で検証できる仕様にまとめ、AIエージェントが生成したコードがその仕様を満たすことを数学的な証明で確かめる。

More from gihyo.jp on Accept All

JapanPFN、翻訳特化LLM「PLaMo 3 Translate」のモデル重みを公開、0.8Bから31Bまで4サイズ gihyo.jp

JapanDependabotがAgent Package Managerに正式対応、AIエージェント用スキルの更新もプルリクエストで提案 gihyo.jp

JapanOpenAI、Linuxカーネルを最新セキュリティAIモデルで調査、ローカル権限昇格の脆弱性948件を実証 ―エクスプロイト、パッチまで生成 gihyo.jp

JapanChatGPT Images 2.6がアニメーションGIFの作成に対応、APIではFlareとSunburstの新バージョンを提供 gihyo.jp

JapanPyCon Taiwan 2026 参加レポート gihyo.jp

Japan12/12開催「PyCon mini Tokyo with PythonAsia conference」お勧めのトークセッション gihyo.jp

More from gihyo.jp on Accept All.