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视频火爆，只需三步即可实现。网友称赞其还原了周杰伦的成长历程。
ICML2025｜多模态理解与生成最新进展：港科联合SnapResearch发布ThinkDiff，为扩散模型装上大脑
多模态理解与生成新方法ThinkDiff在ICML2025上提出，仅需少量数据和计算资源，让扩散模型具备推理能力，并通过视觉-语言训练和掩码策略传递VLM的多模态推理能力，大幅提高图像生成质量。