06月22日AI资讯 | Claude Sonnet-5被曝下周上线；何恺明团队发布新文生图模型；清华空间模型打败Gemini；陶哲轩称AI突破数学形式化临界点

slug

summary

据报道，Anthropic的下一代Claude模型Sonnet-5预计将于下周上线，引发AI社区高度关注。该模型被描述为'神级模型'，预计在推理、代码生成和多模态能力上将有重大提升，有望进一步巩固Claude在大模型竞争中的地位。

著名数学家陶哲轩指出，AI在数学形式化方面已经突破了临界点。这意味着AI不仅能辅助数学证明，还能在形式化验证、定理发现等任务上达到实用水平，预示AI在数学研究中的应用将进入新阶段。

何恺明团队提出了一种新的文生图方法，通过删除传统VAE（变分自编码器）组件和私有数据依赖，实现了更强的图像生成效果。这一创新性工作简化了文生图流程，降低了对大规模私有数据的依赖，为文生图领域提供了全新思路。

在清华大学举办的活动中，物理AGI（物理通用人工智能）首次公开亮相，展示了AI在理解和交互物理世界方面的重大进展。这标志着AI从纯数字智能向能够理解和操作物理世界的通用智能迈出了关键一步。

清华大学团队开发的开源空间智能模型在多项基准测试中超越Google Gemini，成功入选ECCV 2026。该模型的核心创新在于能够在世界变化中持续学习，真正实现了动态空间智能理解，代表了空间AI领域的重要突破。

DeepSeek正在疯狂招募Agent相关人才，其负责人通过多种渠道发布招聘信息，显示出这家中国AI明星公司在Agent方向上的重大战略布局。Agent被认为是AI应用的下一个重要方向，DeepSeek正在全力抢占先机。

Claude Code的创建者（被誉为'Claude Code之父'）分享了一种全新的AI编程范式：删除传统IDE和繁琐的提示词工程，仅通过循环结构实现AI编程。这一理念代表了AI编程工具的重要演进方向，对开发者使用AI的方式有深远影响。

AI学长小林