吴恩达YC演讲：AI创业如何快人一步？
吴恩达在YC演讲中强调了执行速度对AI创业公司成功的重要性，并分享了如何提升初创公司效率的建议，包括专注于具体产品想法、利用AI编码助手提高工程速度、建立有效的产品反馈机制以及理解并有效运用AI技术。
量子位
Kimi新模型数学反超DeepSeek！北大校友刘征瀛等领衔
Kimi新模型在定理证明任务上超越了DeepSeek，采用TTRL搜索框架和错误修复机制，通过率显著提高。该模型由Numina组织与Kimi团队联合打造，并计划在未来优化引理的筛选策略。
Grok4全网玩疯，成功通过小球编程测试，Epic创始人：这就是AGI
马斯克的Grok4通过了著名的小球氛围编程测试，并展示了多层推理、代码翻译和专家解释等能力。此外，网友还进行了各种挑战，如小球动画展示、SVG绘图模拟专家协作环境等。
抱抱脸进军具身智能机器人：5小时成交破百万，299美元起售
HuggingFace发布开源桌面机器人ReachyMini，售价299美元起。凭借完整的AI接入和模块化设计，这款小巧人形机器人已售出超100万人民币。
美国版梁文锋来了
Robinhood CEO Vlad Tenev 创立Harmonic AI，专注于开发数学超级智能（MSI）的AI系统。公司已完成B轮融资1亿美元，估值近9亿美元，致力于解决复杂的数学问题并可能推动AGI的发展。
中科院“二氧化碳制糖”新成果全网热议！不依赖光合作用，“迈向深空前置技术”
中国科学院天津工业生物技术研究所提出新技术，通过构建体外转化系统打通了’CO₂→甲醇→蔗糖’合成路径，实现了从二氧化碳到糖类的高效转化。
他一人撑起谷歌90%的AI宣传，劈柴真是挖到鬼才了
Logan Kilpatrick因在X平台频繁发布推文，被谷歌晋升为更多产品的负责人，并几乎承担了90%的营销工作。他曾在OpenAI担任开发者关系负责人，后转投谷歌，负责将AI Studio迁移到谷歌云部门，并领导Gemini系列模型开发API团队。