日期: 2025 年 7 月 17 日
o1核心贡献者离职后首发声：AI是史上最强杠杆，超越人力、资本和代码
Hyung Won Chung在离开OpenAI后分享了对人工智能未来的深刻思考，指出AI正在成为有史以来最强大的杠杆机制。他强调了AI如何通过智能体实现无需许可的复合杠杆作用，并对未来人类社会的发展提出了新的视角和问题。
清华陈麟九人天团，攻克几何朗兰兹猜想！30年千页证明，冲刺菲尔兹大奖？
九位学者在长达千页的五篇论文中共同完成了对几何朗兰兹猜想的证明，该成就获得数学突破奖和新视野奖的认可。其中一位中国学者陈麟，曾在12岁时参加CMO竞赛并拿下满分，并于哈佛大学获得博士学位。这一系列研究为不同领域之间的桥梁架设铺平了道路。
全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek
新智元报道
编辑：桃子 好困
全球最强的开源定理证明器登场！Goedel-Prover-V2仅用8B参数击败671B的DeepSeek-Prover，并再次夺下数学PutnamBench冠军。十位核心贡献者，八大顶尖机构联手发布第二版模型。
惊了！谷歌的 Gemini AI 现在可以将照片转换为带有逼真音频的视频
谷歌推出 Gemini 平台的新功能：将静态照片转化为带有生成式人工智能音频的短视频片段。利用 Veo 3 视频模型实现逼真动画效果，并提供背景音效、环境音效，甚至人物对话。
“周杰伦同款AI转场视频，到底怎么做啊？”
最近周杰伦抖音发布的AI视频火爆，只需三步即可实现。网友称赞其还原了周杰伦的成长历程。