AI闯入数学证明现场:“第四次危机”争论什么?
AI已能解奥赛题、批量生成数学手稿,却仍难跨越“人类能否理解”的门槛。数学家集体发声,争论焦点不是机器,而是数学该如何被对待。
OpenCode曝密钥泄露风波:AI编程工具的权限边界之问
AI编程智能体OpenCode被曝托管密钥遭盗刷,有开发者一夜损失1700美元。官方称系“大规模蒸馏攻击”并启动退款,但社区质疑其解释含糊。事件背后,是Agent权限扩张与安全防护滞后的老问题。
谷歌车载 Gemini 加入个人智能:可调取 Gmail、日历与地图数据
谷歌为车载版 Gemini 上线“个人智能”功能,可调用 Gmail、日历、地图与搜索记录理解用户行程,先落地 Android Auto,随后推送至内置谷歌车机系统的车型。
Netflix 2026财年第三财季净利润36.64亿美元,同比增长43.86%
Netflix 2026财年第三财季营收128.74亿美元,同比增长11.8%;归母净利润36.64亿美元,同比增长43.86%,运营利润率升至34.6%。公司预计第四财季营收134.42亿美元。
苹果收购 Samplab:Logic Pro 音频编辑或迈向单音符与和弦级
苹果被曝收购瑞士 AI 音频编辑公司 Samplab,交易涉及部分资产与人员。Samplab 主打单音符修改、和弦识别编辑与精细化音轨分离,相关技术有望融入 Logic Pro。