AI穿戴设备升温:吊坠、挂饰与随身助理的入口之争
AI穿戴设备正从概念走向细分场景:录音吊坠、情感陪伴挂饰、个人助理挂件轮番登场。Bee、Friend、Limitless、Muse Charm等产品勾勒出随身AI的不同路径,也带来隐私与实用性挑战。
AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。
Keeta巴西绕开iFood正面战场:向内陆城市要密度
美团海外外卖品牌Keeta在巴西没有强攻里约,而是转向内陆城市扩张。面对iFood与99Food的连锁独家协议,补贴换来的规模能否转化为配送密度与可持续单位经济,成为关键考验。
TechCrunch创始人峰会2026:六场圆桌直击创业公司真实难题
TechCrunch Founder Summit 2026将于11月4日在波士顿举行,六场圆桌聚焦活动策略、垂直市场、GraphRAG、企业AI销售、新品类构建与精益团队等创业难题。
从烧Token到演给AI看:打工人的“AI提效”为何成了表演
2026年,大厂对AI的考核从拼Token消耗转向拼回报率,员工压力不降反升。周报凑“AI含量”、把简单操作包装成工作流、对着录音系统演给AI看,成为不少职场人的日常。当姿态比实效更容易被看见,AI提效就成了一场表演。