AI全球资讯0403

全球TOP5 AI媒体头条： 1.IEEE Spectrum: 人工智能与人类合作完成21世纪菲尔兹奖获奖证明的首次形式化验证。 2. MIT Technology Review: 发布2026年“十大突破性技术”。 3. The Verge: AI代理成为2025年的关键趋势。 4.VentureBeat: Claude Code更新了MCP支持。 5.AI News: OpenAI GPT-5实现了全模态无缝交互。 国内TOP5 AI媒体头条： 6.机器之心：揭晓2025年度“AI中国”榜单，智象未来