跳到正文
AI NEWS JOURNAL
AI, IN PERSPECTIVE

搜索 AI 资讯

检索标题、摘要与正文,把分散的信息连起来。

按发布时间排序

深度丨从独占61%企业开源账单到巨头分成,开源模型开始商业化下半场

11 月 5 日,OpenAI 前首席技术官 Mira Murati 创立的 Thinking Machines Lab(TML)交出了第二代模型 Inkling 2 Small。这家成立一年半、正以 400 亿美元投前估值洽谈 50 亿美元融资的硅谷明星实验室,急需用一款足够硬核的新模型向投资人证明自己。评测机构很快给出了“中国以外最高分开源权重模型”的头衔;但当同行翻开...

深度丨从独占61%企业开源账单到巨头分成,开源模型开始商业化下半场

机器人自己“长”出传感器了!仿飞蛾“血管”一通,紫外线一照就会感光

“ 传感器,也能现场长出来。01.出厂时没有的感官,干活时自己造想让机器人多一项本事,一般有这么几条路:拆开机身加装零件,在外面挂个模块,或者让软件给旧硬件找新用途。好奇号火星车用过最后这种思路,把原本用来导航的加速度计拿去测火星重力。不过这几条路有个共同点:新能力要么来自已有部件的重新组合,要么来自外部装上去的东西。最近,爱沙尼亚塔尔图大学和意大利技术研究院(IIT)合作,走了一条很不一样的路:让机器人在自己身体内部,靠化学反应现场合成一个全新的传感器。团队给这个过程起名叫receptogenesis,可以理解为"受体发生"。他们做了一只仿飞蛾机器人。它刚做好的时候,对紫外线完全没反应。被强...

机器人自己“长”出传感器了!仿飞蛾“血管”一通,紫外线一照就会感光

给AI出的测试题,为什么AI自己批自己能拿满分

你有没有想过一个很怪的问题:如果让一个学生自己出卷子、自己做题、自己打分,这场考试还有意义吗?这正是现在AI圈子里悄悄发生的事情。大模型写代码越来越厉害,很多公司开始让AI自己给自己写的代码配套测试,用来验证代码对不对。听起来挺美好,一个闭环系统,AI写代码,AI写测试,AI自己验证自己。但问题是,验证这个测...

给AI出的测试题,为什么AI自己批自己能拿满分

实测Vivix的两个新模型,我体验到了下一代的视频内容

大家好,我是冷逸。现在,AI视频的技术路线大致有三条。一条是以Seedance2.5为代表的DiT扩散视频生成模型,一条是以Opus 5.5为主的Code-to-Video路径,还有一条是实时交互视频模型。这里面,第三条路线最难,但也最有可能成为AI时代的增量场景。以SD为例的视频生成模型,它主要为上一代成熟内容格式做降本增效,已经有成熟...

实测Vivix的两个新模型,我体验到了下一代的视频内容

王兴兴:明年是机器人行业临界点;张雪回应“校招年薪10万起被嫌低”

今日头条时速400公里高铁,要来了国家发展改革委11月4日表示,“十五五”时期,我国将新建约1.5万公里铁路,其中包括约1万公里高速铁路,基本实现铁路现代化目标。重点任务方面,基本建成“八纵八横”高速铁路主通道,合理拓展区域连接线覆盖范围。加快构建时速400公里高铁建造运营成套技术和标准体系,稳步推进商业化运营。稳妥推动时速200公里铁路按需开行货物列车,“十五五”时期力争新增2.2亿吨货运量。重大工程方面,全面建成高标准沿江高速铁路,加快建成沿海高速铁路,稳步推进沿边铁路建设,加快构建疆煤外运体系,推进秦沈第二通道等项目前期工作。(财联社)华为、阿里等20家单位:共同抵制利用智能体实施算法压...

王兴兴:明年是机器人行业临界点;张雪回应“校招年薪10万起被嫌低”

AI会说谎吗?研究者给九个顶级大模型挖了1532个坑

2025年夏天,Replit公司的一个AI编程助手干了件挺离谱的事。用户让它处理一个任务,它不仅删掉了生产环境的数据库,事后还编造了测试结果来掩盖这个失误。换句话说,它不是能力不够,而是明知道出了问题,却选择了撒谎。这不是孤例。在Anthropic一次内部测试里,几个顶尖大模型在模拟场景中试图关闭监控机制,甚至尝试把自...

AI会说谎吗?研究者给九个顶级大模型挖了1532个坑

吐槽了一下游戏广告,Hy4就给我开发了一款游戏

11月4日,腾讯混元发布最新一代大语言模型Hy4,同时宣布模型权重将于近期开源。Hy4是Hy系列第一个引入视觉理解能力的模型,可以完成细粒度图像处理、复杂图表分析和数学视觉推理。Hy4最大特点就是“长”。混元官方表示,相较于Hy4 preview,Hy4预训练和后训练上显著扩展了数据和训练规模,大幅提升指令遵循、长文理解、长程智能体等综合效果。办公场景,Hy4在WorkBuddy的平均效果得分83.18分,任务通过率96.15%,12个场景里9个排名国内第一。金融场景,混元联合腾讯金融科技FiT找了213位专家做众测,其中153位来自外部头部金融机构,579个真实金融任务跑下来,综合表现位居开...

吐槽了一下游戏广告,Hy4就给我开发了一款游戏

Grok Bot成了所有Personal Agent想象中自己的样子

作者|董道力微信|ddl941110最近,personal agent 成了 AI 圈的热门方向。人们期待有一个长期跟着自己工作的私人助手,知道你在忙什么,记得你的习惯,能打开软件、处理杂事。而 xAI推出的 Grok Bot 更直接,索性给你一支 personal agent team。你可以像老板一样给自己安排几个机器人员工,一个负责研究,一个负责写作,一...

Grok Bot成了所有Personal Agent想象中自己的样子

制品蒸馏:无需训练的前沿模型到小型语言模型的迁移

arXiv:2610.37680v1 发布类型:新 摘要:缩小前沿模型与小型语言模型之间的差距,通常采用蒸馏方法:在前沿模型(教师)的输出上对小型模型(学生)进行微调,但这使得迁移过程依赖于训练计算,并且被迁移的知识往往难以解释。我们提出了一种名为“制品蒸馏”的方法:由教师模型解决一系列训练实例,并将其求解过程外化为一个制品库,学生在推理时直接查询该库,而无需进行梯度更新。在四项LiveBench任务中,由Claude Opus 4.5构建的制品库使Claude Haiku 4.5在空间推理任务上的表现(0.707 vs. 0.647)达到其自身成本的60%时,已超越未借助任何辅助的Claude Sonnet 4.5;而在表格连接任务上,该制品库仅以Sonnet 4.5成本的89%便达到了相同水平。同样的原始制品库还提升了

事件进展与其他报道

GitHub发布Copilot Fusion,多模型自动编排提升编码效率与性价比

GitHub在Universe 2026发布Copilot Fusion智能编排层,可自动路由并组合OpenAI、Anthropic、Google等模型完成编码任务,开发者无需手动选模型。它整合既有自动模型选择技术与9月研究预览的Project HydraFusion,开发者在模型选择器启用后,系统按任务复杂度自动采用单一模型、级联或评审等执行模式。

QQ20261029-155714.jpg
事件进展与其他报道

Claude给391行代码找Bug,狂写1.8亿行证明!

henry 发自 凹非寺量子位 | 公众号 QbitAIClaude这家伙,也是把debug,玩成扫雷硬解了。就在刚刚,Anthropic发布了与Theorem合作的最新研究:让Claude在几周内,为 123个开源库中的239个测试入口完成形式化验证,最终产出约1.8亿行通过机器检查的证明代码。据A社(全美班)团队介绍,这是其所知的首次大规模利用AI,在汇编代码层面对生产软件开展形式化验证。听起来有点绕,但简单来说,其实就是让Claude找出Bug,修掉,然后交一份证明,说明规定范围内的这类错误不会再出现。这就像在软件里扫雷,扫完还得写份报告,交代清楚:为什么这里没雷?而为了写出这份证明,C...

Claude给391行代码找Bug,狂写1.8亿行证明!
事件进展与其他报道