IBM申請使用抽象語法樹驗證人工智能生成代碼專利，指示輸出源代碼驗證結果

金融界2025年7月2日消息，國家知識產權局信息顯示，國際商業機器公司申請一項名爲“使用抽象語法樹驗證由人工智能生成的代碼”的專利，公開號CN120234006A，申請日期爲2024年11月。

專利摘要顯示，使用抽象語法樹驗證由人工智能生成的代碼包括，由人工智能(AI)語言模型基於輸入源代碼生成輸出源代碼；確定爲輸入源代碼構造的第一抽象語法樹(AST)與爲輸出源代碼構造的第二AST之間的等同性映射；以及，基於等同性映射指示輸出源代碼的驗證結果。

本文源自：金融界

作者：情報員