日期: 2025 年 7 月 11 日
倪萍、樊登对谈：名著阅读是一场慢而深的修行
著名主持人倪萍与讲书人樊登等嘉宾在北京进行了一场关于阅读名著的直播对谈，他们讨论了如何引导孩子读懂并深刻理解经典作品，并强调精读习惯对孩子长远发展的关键作用。
吴恩达YC演讲：AI创业如何快人一步？
吴恩达在YC演讲中强调了执行速度对AI创业公司成功的重要性，并分享了如何提升初创公司效率的建议，包括专注于具体产品想法、利用AI编码助手提高工程速度、建立有效的产品反馈机制以及理解并有效运用AI技术。
Kimi新模型数学反超DeepSeek！北大校友刘征瀛等领衔
Kimi新模型在定理证明任务上超越了DeepSeek，采用TTRL搜索框架和错误修复机制，通过率显著提高。该模型由Numina组织与Kimi团队联合打造，并计划在未来优化引理的筛选策略。
搜索领域的下一个重大转变：从产品到基础设施
随着AI的广泛应用，搜索正在从人类直接使用的产品转变为支持AI运转的信息供给系统。未来，每个软件产品都将配备自己的搜索引擎，以满足不同的需求，如快速搜索和质量要求。
Grok4全网玩疯，成功通过小球编程测试，Epic创始人：这就是AGI
马斯克的Grok4通过了著名的小球氛围编程测试，并展示了多层推理、代码翻译和专家解释等能力。此外，网友还进行了各种挑战，如小球动画展示、SVG绘图模拟专家协作环境等。