o1核心贡献者离职后首发声：AI是史上最强杠杆，超越人力、资本和代码
Hyung Won Chung在离开OpenAI后分享了对人工智能未来的深刻思考，指出AI正在成为有史以来最强大的杠杆机制。他强调了AI如何通过智能体实现无需许可的复合杠杆作用，并对未来人类社会的发展提出了新的视角和问题。
资讯
news
清华陈麟九人天团，攻克几何朗兰兹猜想！30年千页证明，冲刺菲尔兹大奖？
九位学者在长达千页的五篇论文中共同完成了对几何朗兰兹猜想的证明，该成就获得数学突破奖和新视野奖的认可。其中一位中国学者陈麟，曾在12岁时参加CMO竞赛并拿下满分，并于哈佛大学获得博士学位。这一系列研究为不同领域之间的桥梁架设铺平了道路。
全球最强开源「定理证明器」出世！十位华人核心，8B暴击671B DeepSeek
新智元报道
编辑：桃子 好困
全球最强的开源定理证明器登场！Goedel-Prover-V2仅用8B参数击败671B的DeepSeek-Prover，并再次夺下数学PutnamBench冠军。十位核心贡献者，八大顶尖机构联手发布第二版模型。
“周杰伦同款AI转场视频，到底怎么做啊？”
最近周杰伦抖音发布的AI视频火爆，只需三步即可实现。网友称赞其还原了周杰伦的成长历程。
大语言模型离“数学证明高手”还有多远？斯坦福、伯克利、MIT 团队提出 IneqMath 评测标准
，这些模型真的理解了推理过程吗？还是只是看起来“像那么回事”就蒙出来的？
不等式问题是检验模型“真会
宅男福音！定制“二次元女友”AI 火爆，马斯克开 44 万刀抢工程师
Elon Musk旗下的xAI推出虚拟伴侣角色Ani和Rudi，并发布职位招聘启事。年薪最高可达44万美元。职位要求包括Python、Rust编程能力等。Grok允许所有用户使用虚拟伴侣功能，引发热议。
苹果向英伟达生态妥协了！MLX框架主动适配CUDA
苹果为MLX框架增加对CUDA的支持，以利用英伟达GPU训练模型。此举标志着苹果正式向英伟达生态妥协，尽管此前因禁用部分MacBook的英伟达显卡而与英伟达产生过矛盾。