产品更新

从新功能到新体验,发现 AI 正在怎样进入日常。

陶哲轩发文:AI让数学证明泛滥,数学2.0时代已至

菲尔兹奖得主陶哲轩称,AI正把数学从证明稀缺推向证明泛滥,数学1.0时代以“谁最先解决”衡量贡献的评价体系受到冲击;他呼吁建立把失败结果与算力成本纳入报告的评估机制,并主张减少对抢先证明的强调、增加对解释与知识整理的重视。

Aether AI发布CRIS-0机器人演示:0.2 秒急停、2 秒重规划

量子位报道,因果智能公司Aether AI公开其机器人系统CRIS-0的官方演示,包括关闭微波炉时 0.2 秒安全急停、咖啡制作中平均 2 秒重规划、10 次扰动 9 次恢复,以及 20 条模糊指令中 18 次精准抓取。系统按因果状态拆解任务,但上述数字来自该公司公布的测试与演示。