Meta研究人员开发了结构化提示技术，使大语言模型能够在不执行代码的情况下验证代码补丁，测试准确率高达93%。该半形式化推理方法引入结构化逻辑证书，要求模型明确陈述假设并跟踪执行路径。在补丁等价性验证、故障定位和代码问答三项关键任务中，该技术均显著提升了准确性，为企业级代码审查提供了更可靠的自动化解决方案。

【圣何塞讯】2026年4月2日，英伟达（NVIDIA）宣布开源全新的机器人操控框架CaP-X（Code-as-PolicyX），这标志着机器人技术的重大突破。CaP-X使机器人能够通过大语言模型（LLM）自主生成Python代码，控制自身动作，从而不再仅仅是执行预设指令。 这一框架的核心在于，机器人可以通过摄像头实时感知周围环境，进而自动编写与感知和控制相关的Python代码。例如，当机器人看到桌 ...