TechCrunch 创始人峰会 2026 公布嘉宾:Toast、Bessemer 等谈增长与 AI 原生创业
TechCrunch 将于 11 月 4 日在波士顿举办创始人峰会,Toast、Bessemer、Glasswing 等机构代表将围绕产品市场契合、扩张时机与 AI 原生创业分享判断。
AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。
Kimi K3.1 Pro实测提速:执行任务跃升,具身智能再引猜测
Kimi K3.1 Pro实测提速,终端任务和办公自动化成绩大幅提升,API输出价格下调;但额度消耗、复杂视觉与物理场景稳定性仍待观察,具身智能路线再引猜测。
TVB拉出《金枝欲孽》拍短剧,真人精品能否撬动内地市场
TVB与红果短剧合作,首部作品为《金枝欲孽》番外篇《金枝欲孽之宫墙折柳》,已在横店开机。在内地收入连续下滑、合拍剧与直播带货均未跑通的背景下,这次押注经典IP的真人短剧能否奏效?
腾讯 WorkBuddy 接入 Kimi-K3.1-Pro:百万上下文,另有 2-3 倍速高速版
腾讯 WorkBuddy 宣布接入 Kimi-K3.1-Pro 及高速版模型,支持 100 万上下文,代码与 Agent 类评测逼近头部闭源模型。现阶段仅向企业旗舰版和个人订阅用户优先开放。