Specula在67个开源系统中找到382个深层bug,数月形式化验证缩短到几小时
Specula在67个开源系统中找到382个深层bug,数月形式化验证缩短到几小时截至 2026 年 8 月 19 日,Specula 已经在 67 个开源系统中找出 382 个 bug,并被多个公司和开源社区的开发者使用。
搜索
截至 2026 年 8 月 19 日,Specula 已经在 67 个开源系统中找出 382 个 bug,并被多个公司和开源社区的开发者使用。
业务覆盖企业私有化算力部署与自营Token工厂。 作者 | 杨京丽 编辑 | 李水青 智东西8月27日报道,昨日,北京AI基础设施创企博伦智汇宣布完成千万级天使轮融资。本轮融资由专注AI及AI Inf
867 亿元,Hugging Face 被英伟达纳入麾下,就在这桩巨额收购的前一晚,OpenAI 发布超长安全调查报告里,Hugging Face 还是一个巨大的「事故现场」——看来并没有影响它的价值。
不得不说,这真是我参加过最「全自动」的产品发布会……台上还在讲,台下已经开始出片了???新闻稿、产品长图、嘉宾金句海报、现场高光视频……一个接一个往外冒,简直是「实时转录」。
不建图、不记忆、零训练:coding-agent 被直接扔进屋里,导航成绩反超工业级专用模型。
就在刚刚,阿里交出了一份让人满意的答卷:发布了 Qwen3.8-Flash,同步开源 Qwen3.8-Flash-Next(两者为同一模型,前者是 API 版本名称,后者是开源版本的正式名称)。它的成绩相当亮眼。在智能体编程基准 DeepSWE 1.1 上,它拿到 58.7 分,而参数规模是它三倍的前代 Qwen3.7-Plus 只有 16.5 分;
MiniMax最新数据披露,今年8月截至目前,公司ARR(年度经常性收入)已经超过8亿美元。而今年2月MiniMax披露的ARR还只有1.5亿美元。对应财报数据,这种增长已经开始印证到真实收入水平上:2026年上半年,MiniMax收入1.166亿美元,同比增长283.1%;半年收入已经超过2025全年7904万美元;Q2收入较Q1环比增长超过80%。
加州理工学院 Anima Anandkumar 团队 8 月 24 日发了一篇论文,用一个 AI 模型把这类计算的复杂度从立方级压到了近线性级。效果相当震撼:在单块 GPU 上完成了一个含 82500 个电子的金属缺陷模拟,2019 年同类计算用了约 7800 块 GPU。
韩国人工智能服务平台Wrtn Technologies已完成新一轮融资,公司估值达1.2万亿韩元(8.7 亿美元),旨在为其全球扩张提供资金支持。这家总部位于首尔的初创公司在声明中表示,已完成约1000亿韩元(约合7200万美元)的C轮融资。
这款产品叫 Knowt。官网显示,目前已有超过 500 万名学生和教师使用 Knowt;2025 年 AP 考试季,公司称至少有 70 万名学生使用平台。而在 2022 年,Knowt 的用户还只有约 1.8 万。