乌克兰Starshield服务恢复:限速风波背后的星链争议
乌克兰军方称Starshield已基本恢复正常,但约十天的限速原因仍未获解释。高速无人机断网、特朗普致电马斯克、服务条款争议,让星链在战场中的角色再次成为焦点。
Keeta巴西绕开iFood正面战场:向内陆城市要密度
美团海外外卖品牌Keeta在巴西没有强攻里约,而是转向内陆城市扩张。面对iFood与99Food的连锁独家协议,补贴换来的规模能否转化为配送密度与可持续单位经济,成为关键考验。
TechCrunch创始人峰会2026:六场圆桌直击创业公司真实难题
TechCrunch Founder Summit 2026将于11月4日在波士顿举行,六场圆桌聚焦活动策略、垂直市场、GraphRAG、企业AI销售、新品类构建与精益团队等创业难题。
试点多不等于产品契合:投资人与 Superhuman 创始人谈 PMF 红旗信号
在 TechCrunch Disrupt 的对谈中,投资人与 Superhuman Mail 创始人指出,AI 时代获得试点客户更容易,但转化为生产使用很难。收入口径模糊、客户过于集中、留存不足,都是产品市场契合的危险信号。
AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。