IBM申请使用抽象语法树验证人工智能生成代码专利，指示输出源代码验证结果

金融界2025年7月2日消息，国家知识产权局信息显示，国际商业机器公司申请一项名为“使用抽象语法树验证由人工智能生成的代码”的专利，公开号CN120234006A，申请日期为2024年11月。

专利摘要显示，使用抽象语法树验证由人工智能生成的代码包括，由人工智能(AI)语言模型基于输入源代码生成输出源代码；确定为输入源代码构造的第一抽象语法树(AST)与为输出源代码构造的第二AST之间的等同性映射；以及，基于等同性映射指示输出源代码的验证结果。

本文源自：金融界

作者：情报员