AI早报 2026-06-04：Uber给AI Coding Agent上锁 / Axiom数学AI / 微软认知核心战略

每日AI大事晨间速递 · Jun 4, 2026

Uber对AI编程工具设消费上限；Axiom用形式化验证重新定义AI推理；Satya Nadella对话Latent Space。