从千问N1到雷朋三代:AI眼镜为何成了大厂争夺的入口
过去一周AI硬件密集上新,从阿里千问N1到阶跃星辰STEPX Neo,大厂集体涌向随身终端。手机变贵变小、端侧芯片提速,眼镜凭位置与价格先行,而真正稀缺的是数据。
腾讯AI“加班论”引争议:大模型竞争,靠工时还是靠人才密度?
腾讯首席AI科学家姚顺雨被曝内部谈“把DeepSeek卷到加班”,说法语境尚未获独立证实,却把大厂与极客团队的效率之争推到台前。
Netflix 2026财年第三财季净利润36.64亿美元,同比增长43.86%
Netflix 2026财年第三财季营收128.74亿美元,同比增长11.8%;归母净利润36.64亿美元,同比增长43.86%,运营利润率升至34.6%。公司预计第四财季营收134.42亿美元。
FCC主席警告媒体勿播“假民调”,前主席批其逼媒体自我审查
FCC主席卡尔警告广播机构不要播出“假民调”,称可能违反监管义务。多位前FCC主席与官员反驳,指其借民调造假事件恐吓媒体、逼出自审查。
AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。