AI办公的竞争不止一场:模型、营销与行业场景的三线战事
AI办公常被简化为广告战和入口战,但真正决定胜负的,是基础模型、渠道营销与行业场景三条并行的战线。谁能在后场守住能力、在前场吃透业务,谁才有机会走到最后。
Oura再诉Ultrahuman:Ring Pro在美销售面临禁令风险
Oura在得州联邦法院起诉Ultrahuman,称Ring Pro侵犯两项专利,并寻求永久禁令。Ultrahuman回应称将积极抗辩,Ring Pro目前仍可在美销售。
雷军谈智能网联汽车:没有安全其他都是0,下半场比的是生态
在2026世界智能网联汽车大会上,雷军重申小米造车从第一天起就把安全放在首位,称“汽车产业如果没有安全,其他都是0”;他还提出,智能网联汽车下半场比拼的是生态能力,而完备产业链、活跃AI氛围与超大单一市场是中国优势。
AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。
SK海力士取消Solidigm赴美IPO,AI交易再添变数
SK海力士以市场状况和股价走势为由,取消存储子公司Solidigm赴美IPO。消息一度加剧AI交易担忧,但其ADR盘前反弹逾5%,显示逢低买盘仍在,市场分歧加大。