8月6(信息差）

🌍华为最便宜小折叠！华为nova Flip今晚发布：搭载麒麟8000芯片

从曝光的跑分信息来看，nova Flip将搭载麒麟8000处理器，也就是nova 12 Pro/Ultra的同款，采用8核心的1+3+4组合，大核是1颗2.4GHz的Cortex-A77核心，3颗中核是2.189GHz的Cortex-A77核心，4颗小核是1.84GHz的Cortex-A55核心。

🎄谷歌AlphaProof攻克国际奥赛数学题

https://www.51cto.com/article/793632.html

✨SearchGPT第一波评测来了！响应速度超快还没广告，“OpenAI杀手锏”

1.地表最强人形机器人？Figure预告二代新品人味儿更浓、硬件更强

　刚结束宝马工厂“集训”，人形机器人初创公司Figure迎来了更强的新生代产品——Figure 02。

　　当地时间8月2日，Figure公布了Figure 02预告片，并表示将在北京时间8月7日正式发布该产品。相对于Figure 01搭载Open AI GPT4的视频演示，此次展示介绍的重心在于硬件，预计硬件能力有大幅提升。

　　该公司创始人CEO布雷特·阿德科克（Brett Adcock）自信发言：Figure 02是地球上最好的人形机器人。

　　这不免让人回想起去年Figure发布概念机时立下的Flag——对标特斯拉Optimus。不过，Figure 02这次的预告片被人吐槽“复制Optimus”。

Figure 02脸部轮廓

特斯拉二代人形机器人Optimus

　　客观来讲，Figure 02还并没有放出全身图片，单从一个类似擎天柱的脸部轮廓判断Figure 02是Optimus的模仿者，显然不可取。

　　撇开外观争议，对比Figure 02浓浓的工业机械风，Figure 02外形的变化或许意味着，Figure开始打造更倾向消费市场的人性化形象，以拓展C端市场。

Figure 02

　　毕竟，Figure的远期目标是训练一个世界模型，使其能够操作数十亿ToC家用人形机器人。现阶段Figure的战略依然是ToB，面向劳动力紧缺的工业制造、物流仓库等高重复、需要大量劳动力的领域规模化部署。

Figure最早发布的产品概念图

　　▌硬件大升级

　　从视频来看，Figure重点展示了新款人形机器人的关节、执行器、仿人足部与灵巧手，头部和全身的自由度都增加不少，比如腿和躯体至少180°可旋转。

　　Figure 02的手臂关节执行器A2款扭矩50NM，对应的关节活动最大角度范围148°，下肢腿关节展示了2款旋转关节执行器：L1款扭矩150NM用在大腿靠近髋关节位置，关节活动最大角度范围195°；L4款扭矩150NM用在膝关节，关节活动最大角度范围135°。

　　另外，一个比较的新颖的设计在于，Figure 02使用的新型复合材料，其膝盖或手臂肘关节附近新增的蜂窝状可压缩组织，预计是为了提供运动缓冲，同时实现轻量化和强化散热性能。

　　手部的点阵式黑色表皮预计集成了触觉传感器，这将大幅提升机器人的触觉感知能力，同时增加的摩擦力有助于抓握和操作各种物体。同时其手指的整体设计更自然贴近正常人的手，手指的灵活性更高。

　　▌创始人被称作“下一个马斯克”

　　简单复盘Figure，其团队规模至今不到百人，于2023年3月发布概念视频；2023年10月展示了行走能力；2024年1月，Figure 01以一段“10小时内学会煮咖啡”的视频引发了热议，它只用了10个小时进行端到端训练，便自主完成打开机器盖、放入咖啡、启动机器的全过程；2024年3月，在宣布与OpenAI展开合作的13天后，Figure发布了由OpenAI大模型加持的Figure 01的演示视频；紧接着，该公司的定制版Figure 01交付宝马工厂。

　　Figure 01在7月初结束了在宝马工厂的工作。按阿德科克的说法，Figure 01已经完成了 Figure 在人工智能具身化的开发和构建，包括系统正常运行，以及有了现实场景运行的数据。

　　也就是说，一年半时间内，Figure人形机器人完成了从概念到原型，再到商业化应用的跳跃，在本体系统、现实场景运行的数据采集、模型构建和商业化上实现了闭环。

　　另外，创始人阿德科克在科技领域有近20年的创业经验，早在26岁时就创立了在线人才市场Vettery，旨在解决人力资本问题，并将合适的人与合适的工作机会相匹配，后被全球最大的招聘公司德科集团（Adecco Group）以1.1亿美元的价格收购。

　　媒体把他称作“下一个马斯克”，去年9月，在《My First Million》节目中，主持人Sam Parr在视频封面将阿德科克贴上“埃隆·马斯克2.0”标签，标明其身价30亿美元，并表示在10年内他会成为霍德华·休斯、埃隆·马斯克这样的人物。

　　这些可以解释，为什么Figure尚未盈利就已经吸引了一大帮硅谷巨头和明星风投。Figure在3月初宣布，已从亚马逊创始人贝索斯、英伟达、OpenAI和微软等巨头那里筹集了约6.75亿美元的资金，使其公司估值达到了26亿美元。其投资者还包括英特尔的风险投资部门LG Innotek、三星的投资集团、风险投资公司Parkway Venture Capital、Align Ventures及木头姐的ARK基金等机构。

2.Go1.23 新特性：time.Reset 解决了过期时间值的天坑！

在 Go1.23 以前，标准库 time 除了 After 方法外。还有另外一个问题，那就是 Stop 和 Reset 方法不太靠谱。

以至于大家在一些特殊场景下总是这踩点坑，那踩点坑。无论如何，解决了就值得我们给 rsc 鼓掌！

问题背景

最早的反馈来自 2016 年的 time: document proper usage of Timer.Stop，随后在 2020 年终于有人正式提出且下面这个问题：

问题的代码示例：

func main() {
    timeout := 50 * time.Millisecond
    t := time.NewTimer(timeout)

    time.Sleep(100 * time.Millisecond)

    start := time.Now()
    t.Reset(timeout)
    <-t.C

    fmt.Printf("eq已经消失：%dms\n", time.Since(start).Milliseconds())
}

先暂停，思考一下。

这段程序输出的结果是什么？是 “煎鱼已经消失：100ms” 吗，还是 50ms？

Go1.22 及以前的版本下，输出结果如下：