OpenAI连破10道数学难题，Fable 24小时「复现」5道
先是8月1日，OpenAI研究员Sébastien Bubeck宣布，他们未公开的下一代主力模型Astra，一口气证明了10项前沿数学成果，还甩出了10份Lean证书、10份逐题思路复盘。
全球独家首测Genie 3，实验室细节曝光超震撼，AGI最后一块拼图已实现
战火硝烟之际，谷歌DeepMind祭出的世界模型Genie 3，可谓一枚重磅炸弹，代表着世界模型的全新前沿。要知道，一年前的Genie 2还是这个样子的，仅仅一年，Genie 3居然就进化成了右边这个样子…
主持人施可莹去世，年仅29岁
6月21日，香港主持人施可莹亲友通过其社交账号发布消息称，施可莹当天凌晨因癌症离世，年仅29岁。图片来源：施可莹社交平台今年5月，施可莹在社交平台公开自己患卵巢癌的消息，并分享了自己的“抗癌日记”。
华为开发者空间云开发环境（容器）操作指导
一、概述1.
OpenAI官宣下一代模型Astra，取得10大未解难题突破，附249页论文
智东西8月2日消息，今天凌晨，OpenAI披露下一代模型Astra，并公布其内部版本取得的10项数学与理论计算机科学新成果，涉及高维几何、编码理论、群论、算术电路复杂性、量子复杂性、格密码学和极值组合学等方向。
Kimi最强编程模型来了：Token消耗直降30%，过度思考有救了，附一手实测
这一模型重点提升了长上下文编程场景的指令遵循能力、长程编程任务的性能表现，并且大幅改善了在长程任务中的过度思考倾向，平均token消耗减少30%。
对话前DeepMind曹原：AI for Science爆发，一个新时代到来了
8月第一周，谷歌灵魂人物Jeff Dean宣布离职，带着其它几位高管出走成立Discovery Loop公司，致力于加速生命科学及其他行业的研究进程。
主持人施可莹去世，年仅29岁
6月21日，香港主持人施可莹亲友通过其社交账号发布消息称，施可莹当天凌晨因癌症离世，年仅29岁。2025年10月，施可莹在检查中发现10cm卵巢肿瘤，并在短时间内长到17cm，肚子胀得像“怀孕5个月”大。
突发！OpenAI下一代AI攻克10项菲尔兹奖级难题
数学家、美国数学学会Fellow、罗格斯大学杰出教授Alex Kontorovich难掩震惊，只留两个惊叹号。
体验首款Linux消费级平板，原来芯片和系统全是国产
国产OS，国产芯片，号称可以写代码，以生产力平板热议于海外的JingPad…就在上周，我们介绍了由中国创业团队打造的移动操作系统JingOS，以及初代平板产品JingPad C1。