熱點事件持續更新
PDD Kit以形式化驗證檢查AI智能體程式碼
2 篇報道2 個報道來源8 小時前更新
先了解這件事
AI 綜述
2026年11月5日，gihyo.jp報道，GitHub Next 與 Microsoft Research 共同開發 PDD Kit。開發者可透過對話整理需求，將需求轉成機器可驗證的規格，再以數學證明檢查 AI 智能體生成的程式碼是否符合規格。11月6日，Microsoft Research 進一步介紹這個研究原型：它會把需求轉成 Verus 形式規格，並證明智能體編寫的全端網頁應用程式對所有輸入均符合規格；形式證明無法涵蓋的部分則以測試檢查。
AI 根據報道生成 · 6 小時前更新
最新進展11月6日 00:00
Microsoft Research 介紹 PDD Kit 以 Verus 規格及測試驗證智能體編寫的全端網頁應用程式。報道時間線
沿着報道，瞭解事件的不同側面。
11月6日
- Microsoft ResearchPDD Kit 如何形式化驗證 AI 智能體編寫的全端網頁應用程式
Microsoft Research 介紹研究原型 PDD Kit，將需求轉成 Verus 形式規格，並證明智能體編寫的程式對所有輸入均符合規格；形式證明無法涵蓋的部分則以測試檢查。
11月5日
- gihyo.jpGitHub Next 介紹 PDD Kit，以形式化證明驗證 AI 智能體生成程式碼符合規格
GitHub Next 與 Microsoft Research 共同開發 PDD Kit，透過與開發者對話把需求整理成可由機器驗證的規格，再以數學證明檢查 AI 智能體生成的程式碼是否符合規格。
本事件熱度走勢
當前熱度 15·可比範圍峯值 19（11月6日 00:00）·近 24 小時可比範圍變化 –
趨勢僅比較持續完整觀測到的相同主體，範圍可能小於當前熱度統計。移動指針或點擊圖表查看每小時熱度；鍵盤可用左右方向鍵切換。