指令遵循能力同步改进。MM-IFEval得分从32.93升至45.00，意味着模型能更可靠地遵循提示中的明确约束，例如按特定格式响应或限定输出字段范围。
OpenAI 内部备忘录：微软「限制了我们触达客户」
Chiasmus作为MCP服务器，旨在通过为LLM提供形式化推理引擎来解决这个问题，它集成了用于约束求解的Z3和用于逻辑编程的Tau Prolog。该系统使用tree-sitter解析源文件并将其转换为形式化语法，为LLM提供代码的结构化表示，同时配备能够确定性地回答代码问题的逻辑引擎，且仅需消耗少量token。
google_search=types.GoogleSearch(),
[hscroll]left[val=0]