普林斯顿大学牵头研发的Goedel-Prover-V2开源数学定理证明模型在多个基准测试中超越前代SOTA，32B参数版本性能提升显著，为数学教育及科研验证提供新工具。

香港科技大学突破性AI技术通过极少量X光片生成高清3D医学影像，辐射暴露降低99%，临床准确度达97%，预计2026年落地应用，重塑医学影像诊断标准。

英伟达创始人黄仁勋与之江实验室主任王坚在链博会上首次系统定义物理AI（Physic AI），揭示AI技术从信息处理向物理世界交互的跨越式演进。物理AI将重构工业仿真、生物医药等领域，成为继大语言模型后...

埃隆·马斯克旗下xAI公司推出虚拟伴侣功能Companions，包含哥特少女Ani和红色熊猫Rudi，并高薪招聘工程师推进Waifus项目，探索AI情感陪伴新赛道。

Cursor对中国用户限制Claude模型访问，推动国产大模型Kimi K2日调用量突破100亿token。Kimi K2凭借高性价比和优异性能成为开发者首选，性能接近Claude Sonnet 4...

2025年深圳AI产品榜2周年大会聚焦AI与智能硬件的深度融合，汇聚行业精英，发布权威榜单，探讨创新路径，成为AI行业趋势风向标与技术交流平台。

本文解析多地政府及企业近期发布的会议及活动公告，重点介绍审核准入机制及后续安排，涵盖富川瑶族自治县、禾望电气、新疆哈密及北京市人社局等案例，体现行政事务的透明与规范。

本文深入探讨AI技术的最新进展及其在各行业的应用前景，揭示人工智能如何改变我们的生活和工作方式。了解更多AI技术的前沿资讯，请阅读全文。

中国互联网协会举办2025数字人推进工作座谈会，探讨智能体边端多元化发展及产业合作机会，报名从速。

2025年7月17日，深圳AI产品榜·2周年大会将聚焦AI与智能硬件的深度融合，发布权威AI榜单，汇聚行业领军人物，探讨AI技术产业化与智能硬件发展趋势。