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
8月14日,一个叫Cocode的项目悄悄出现在GitHub上,简介写得很直白,基于DeepSeek Harness构建的开箱即用发行版。不到两周,它拿到150多个star,并在8月25日发布了v1.0.2。
867 亿元,Hugging Face 被英伟达纳入麾下,就在这桩巨额收购的前一晚,OpenAI 发布超长安全调查报告里,Hugging Face 还是一个巨大的「事故现场」——看来并没有影响它的价值。
在 2026 世界人形机器人运动会 - 工业场景赛 -「装配上料岗」赛项中,一台机器人需要连续完成搬运上架、拣选上料、物料装配三项任务:从搬运 10kg 物料箱,到七类零件拣选,再到发动机 18 个气门的亚毫米级装配。
“让AI自己跑通IP孵化闭环。”
不建图、不记忆、零训练:coding-agent 被直接扔进屋里,导航成绩反超工业级专用模型。
就在刚刚,阿里交出了一份让人满意的答卷:发布了 Qwen3.8-Flash,同步开源 Qwen3.8-Flash-Next(两者为同一模型,前者是 API 版本名称,后者是开源版本的正式名称)。它的成绩相当亮眼。在智能体编程基准 DeepSWE 1.1 上,它拿到 58.7 分,而参数规模是它三倍的前代 Qwen3.7-Plus 只有 16.5 分;
8 月 22 日,Lady Gaga(本名 Stefani Germanotta)在社交平台上首次公开了自己参与创办的生物技术公司 Outer Biosciences,以及公司的核心平台 Yuna。这家公司试图把机器学习、自动化实验与离体人体皮肤结合起来,希望从海量化合物中寻找新的抗衰老、抗炎和皮肤修复成分。
MiniMax最新数据披露,今年8月截至目前,公司ARR(年度经常性收入)已经超过8亿美元。而今年2月MiniMax披露的ARR还只有1.5亿美元。对应财报数据,这种增长已经开始印证到真实收入水平上:2026年上半年,MiniMax收入1.166亿美元,同比增长283.1%;半年收入已经超过2025全年7904万美元;Q2收入较Q1环比增长超过80%。