Station F逐渐成为欧洲最热门人工智能初创公司的发射台
Station F是法国亿万富翁泽维尔·尼尔 (Xavier Niel) 创立的巴黎创业中心，正在准备推出新版F/ai加速器计划，以加强其作为有前途的人工智能初创公司垫脚石的地位。 F/ai于今年1月推出，计划于今年9月初创公司第二批项目，旨在帮助少数专注于人工智能的初创公司在几周内从早期产品转向...
AI资讯中心（每日实时更新）
当前分类 ： AI资讯
智能眼镜制造商Even Realities估值达到10亿美元，美团和腾讯领投1.5亿美元融资
MetaandSnap上个月推出了新款智能眼镜，这是业界竞相将摄像头和人工智能助手戴在用户脸上的最新迹象。随着快速增长的市场升温，像Even Realities这样的新贵正在向巨头发起冲击。 Even Realities是一家成立三年、总部位于深圳的初创公司，在由美团和之前的投资者腾讯领投的B轮预...
15 岁少年利用AI实施勒索攻击，致知名平台全站停服
近日，日本警视厅破获了一起性质恶劣的网络攻击案件，一名居住于埼玉县所泽市的15岁高中一年级学生因涉嫌网络犯罪被捕。这起事件引起了广泛关注，不仅因为嫌疑人年纪尚轻，更在于其利用生成式AI工具协助实施了整套攻击流程。调查显示，该少年于2025年11月利用他人会员账号，成功侵入了万代南梦宫旗下的动画串流平...
降低数学科研门槛：Mistral AI 发布开源模型 Leanstral 1.5
近日， Mistral AI 正式发布了专为数学形式化证明语言 Lean4设计的开源模型 —— Leanstral1.5。该模型采用 Apache-2.0许可协议，以119B 的参数总量及6B 的激活参数，在兼顾高性能的同时大幅优化了使用成本。作为一款专注于数学推理的智能工具，Leanstral1....
Mistral AI开源数学证明利器：119B参数只激活6B，解题成本仅为竞品百分之一
欧洲人工智能企业Mistral AI近日正式推出面向数学形式化证明的专用模型Leanstral 1.5。该模型专为Lean4 程序语言打造，总参数规模达119B，但实际推理时仅激活6B参数，以极低的计算开销实现了惊人的证明能力，并以Apache-2. 0 许可完全开源。在核心基准测试上，Leanst...
这家人形机器人公司即将上市，但其CEO并没有承诺很快就会在你家中出现一个机器人
人形机器人市场目前资金充裕。上周，总部位于深圳的轮式人形机器人初创公司AI2 Robotics筹集了约7.35亿美元，估值近30亿美元。今年早些时候，总部位于奥斯汀的制造和物流类人机器人制造商Apptronik完成了一轮9.35亿美元的融资，该公司估值超过55亿美元。去年秋天，总部位于圣何塞的开发...
算力利用率破65%:AIGCode如何用“L3级”编程模型突围?
近期，AI编程领域发生了一场微妙的格局变化。随着行业内对“AI应用终局”的讨论愈发激烈，当许多厂商仍深陷L2级代码补全的“红海”苦战时，成立两年的技术团队AIGCode，正试图通过一套全栈技术方案实现代际跃迁。AIGCode的核心判断在于:大模型的短板往往不在微调，而在于基座本身。其核心产品Auto...
腾讯混元Hy3发布：Agent能力和产品体验跃升
7 月 6 日，腾讯混元Hy3 正式发布。相比preview版本，它展现出显著强于同尺寸模型且比肩（参数规模2— 5 倍的）旗舰模型的智能水平，定价进一步降低，总体稳定性和性价比大幅提升。Hy3 已在WorkBuddy/CodeBuddy、元宝、Marvis、ima等多个业务接入，API已在腾讯云T...
谷歌跳票之后终定档：Gemini 3.5 Pro七月硬刚DeepSeek V4，全新底座不再"挤牙膏"
今年 5 月的I/O大会上，谷歌高调宣布旗舰大模型Gemini 3.5 Pro将在 6 月发布，结果却爽约跳票。跳票期间，多位核心AI研究员相继离职投奔竞争对手，团队士气一度跌至冰点。如今最新消息终于给出了准信——Gemini 3.5 Pro将于 7 月 17 日正式亮相。巧合的是， 7 月中旬恰好...
通义千问重磅升级：实时语音识别模型 Fun-ASR-Realtime 正式发布
语音交互正迎来新的技术跨越。近日，通义千问大模型正式宣布升级其核心音频能力，推出了全新的实时语音识别模型 Fun-ASR-Realtime。该模型在性能指标上实现了显著突破，其首字识别延迟被精准控制在百毫秒级别，确保了用户在交互时能够感受到“即说即反馈”的流畅体验。在准确度方面，该模型表现出色，其识...
8 小时追平、 2 天反超：面壁智能 ForgeTrain 如何用 AI“锻造”下一代训练框架？
当大模型的迭代速度以周计，如何打破算力瓶颈与工程壁垒，成为AI研发的终极命题。2026年6月27日，面壁智能联合OpenBMB开源社区与AGI BAR举办了一场名为“AI4AI发酵夜”的深度交流。活动中，面壁智能AI Infra技术负责人李宇轩详细解析了其自研的生产级预训练框架——ForgeTrai...
全球首例AI智能体勒索攻击浮出水面：无需人类干预的自动化“作案”链条
人工智能的自主能力再次引发安全界的高度关注。安全厂商 Sysdig 日前披露了一起代号为“JADEPUFFER”的勒索软件攻击事件，这也是全球首例被记录到的、全流程由 AI 智能体（Agent）自主完成的勒索攻击案例。在此次事件中，攻击者并未依赖任何新型漏洞，而是展现出一种令人警惕的“自主决策”能力...
哈佛研究揭示残酷真相：AI原生公司不要应届生，团队缩四分之一却更爱"老法师"
哈佛商学院与非营利性商学院欧洲工商管理学院（INSEAD）的最新研究论文指出，AI原生初创企业正在打造规模更小、层级更扁平的团队，且显著减少了对初级员工的招聘。这意味着，AI浪潮下最先被"优化"的，恰恰是那些刚刚踏入职场的新人。AI原生公司：人少四分之一，工程师多13%这项研究考察了 2020 年至...
手机变身“数字玩伴”：JoyAI 上线 UGC 数字人功能
近日，京东旗下 JoyAI App 正式上线了 UGC 数字人功能，标志着普通用户也能实现“零门槛”定制专属虚拟数字分身，为数字陪伴市场注入了新的活力。此次功能更新的核心在于“便捷性”与“个性化”。用户无需复杂的建模过程，只需上传一张个人照片，系统即可通过技术手段自动生成数字分身。在形象选择上，用户...
告别高额Token账单：pxpipe如何用“图像”重塑Claude Code开发成本
在AI编程辅助工具日益普及的当下，高昂的API调用成本始终是开发者心头的痛点。为了解决这一难题，一款名为pxpipe的本地代理工具引起了技术社区的关注。它的核心逻辑颇具巧思:通过将庞大的上下文信息转化为图像，绕过部分昂贵的文本Token计费，从而大幅削减 Claude Code 的使用开销。pxpi...
巨资奔赴纳斯达克：SK海力士拟筹资 280 亿美元，剑指史上第二大IPO
在人工智能产业爆发式增长的背景下，全球存储芯片巨头SK海力士即将迎来其资本市场的“高光时刻”。根据监管申报文件披露，该公司计划于本周正式启动在美国纳斯达克的上市进程，筹资规模预计高达 280 亿美元，有望创下全球IPO史上第二高的募资纪录。此次上市将通过发行存托凭证（ADR）的方式进行，即每 10 ...
AI编程迎来“深度思考”：Deep Code正式适配DeepSeek-V4
在AI编程工具日趋激烈的竞争中，一款名为Deep Code的开源终端编程助手近日引发了开发者关注。这款工具的核心亮点在于实现了对DeepSeek-V4系列模型的深度适配，为追求高质量推理与代码生成的开发者提供了新的选择。Deep Code并非一款全新的工具，其首个版本早在今年5月便已上线。经过多次迭...
李飞飞团队最新研究：告别昂贵的“虚实转换”，一段视频即可生成无限机器人训练场
在具身智能领域，“Sim2Real”（从仿真到现实）一直是绕不开的难题，不仅仿真环境搭建成本高昂，模型迁移到现实世界时也常出现性能折损。近日，由李飞飞团队联合英伟达GEAR实验室、佐治亚理工大学等多家机构共同发布的一项全新研究，为这一困境提供了新的破局思路:Real2Sim。这项被称为“SimFou...
百年超导竞赛迎来AI破局： 28 小时精准筛选，锁定四种全新材料
在物理学界，探索超导体被誉为摘取「物理学圣杯」的百年征程。近日，这一传统科研领域迎来了一位强力的「AI队友」——由科研团队共同打造的专攻超导材料发现的AI智能体“ElementsClaw”（元素虾）。该系统在短短28个GPU小时内，便完成对240万种稳定晶体的全覆盖扫描，并筛选出6.8万种潜在超导体...
复旦期末开卷新高度：学生出题反向“调教”AI， 4 人斩获满分
复旦大学“数据挖掘技术”课程近日迎来了一场别开生面的期末考核。与传统坐在考场里答题的形式截然不同，这次的期末考试让全班同学悉数坐上了“出题人”的位置。根据考核规则，每位学生需要独立设计 10 道具有唯一正确答案及完整推导过程的数据挖掘计算题，并用这些题目去测试三个不同能力梯度的AI模型。考核的得分逻...
