Import AI 478：数学形式化推进对齐研究，ProgramBench 显示自主编程能力跃升
Import AI 周刊第三部分汇总了多项 AI 研究进展：AI safety 公司 Resolution 利用 AI Agent 自动化实现了奇点消解定理的 Lean 形式化。
推荐理由：作者串联了数学形式化、自主编程重建与智能体漏洞发现，指出 AI 正从单点工具扩展为可加速科研全流程的基础设施。
#MCP/工具调用
Import AI精选AI 评分5353
TechCrunch · AIAI 评分3535 Figma 联合创始人：MCP 并非完美协议，但公司扩大开源支持
Figma 在印度首届 Config 大会上宣布新增 20 个 MCP 合作伙伴。尽管联合创始人 Dylan Field 批评 MCP 对前沿实验室更有利且存在滥用风险，他确认公司计划支持 Pi。