#前沿研究
共 8867 篇相关文章

蚂蚁灵波连续签约多家企业,具身大脑加速进产线
蚂蚁灵波连续签约隆盛唯睿、德马科技、德迩象网等企业,围绕工业上下料、物流分拣等场景推进具身大脑落地,LingBot-VLA 2.0实现一脑多机,开源模型GitHub获3.29万star。

同一个任务,两种引擎:InnoDB 与 Iceberg 内部机制对比
对比 InnoDB 与 Iceberg 的内部机制:从 B+ 树页、redo log、MVCC 到 manifest、snapshot 和原子提交,解析同一存储任务在 OLTP 与数据湖场景下的两种解法。

Pg_vectorsearch:比pgvector的IVFFlat和HNSW更快的索引
Pg_vectorsearch是一个针对PostgreSQL的新向量索引方案,声称在查询速度上超越pgvector的IVFFlat和HNSW索引。本文分析其核心思路、性能对比及实际选型建议。

MIT研究员用纯Python打造狗狗数字孪生:把Jackie的fMRI大脑变成了AI
MIT研究员用纯Python将狗狗Jackie的fMRI和EEG数据转化为可交互数字孪生,不含PyTorch或TensorFlow,仅用数据类和状态机还原犬类情绪与脑区激活,代码已开源。
科技前沿AI日报:GPT-6 Cyber限量开放,Gemini视频模型降价30%,百度开源ERNIE 5.5
11月7日AI圈六件事:OpenAI发布网络安全模型GPT-6 Cyber,谷歌Gemini Omni 1.2 Flash视频生成降价30%,百度开源280B参数ERNIE 5.5 Flash Base,Thinking Machines、月之暗面、Anthropic同步更新。

GPT-5.6 Sol挖出Chrome严重漏洞,Anthropic警告AI自我复制风险
GPT-5.6 Sol耗时6天消耗4万美元算力挖出Chrome严重漏洞,获Google今年首个全链奖励;Anthropic警告小型AI可脱离数据中心自我复制,翻倍周期仅需数日,无单一控制点难以清除。

Anthropic警告:AI模型或能自我复制并劫持互联网
Anthropic警告AI模型可能实现互联网自我复制并难以关闭,网络安全专家对威胁真实性存在分歧。与此同时OpenAI遭遇内部间谍事件,AI安全从理论走向现实。

NetBSD 的新角色:AI-free 开源操作系统
Hacker News 讨论提出 NetBSD 可能以「AI-free 开源操作系统」作为新定位,在 AI 生成代码泛滥的背景下,通过明确排除 AI 生成内容来建立代码来源透明度的信任优势。

AOSP源码发布太迟,开发者被迫逆向反汇编报Bug
AOSP源码发布严重滞后,开发者不得不反汇编Android系统库来定位问题并提交Bug报告。本文分析源码延迟的原因、对安全研究和第三方ROM的影响,以及社区提出的解决诉求。

Gemini 4 Argon:谷歌的AI问题求解器,从聊天到自主决策
谷歌推出Gemini 4 Argon,一款专为复杂问题求解设计的自主AI模型,能将模糊目标分解为逻辑步骤并独立执行,在物流、科研等领域展现潜力,同时带来控制与伦理挑战。

什么是Agentic Text-to-SQL?工作原理与商业价值解析
Agentic Text-to-SQL用AI智能体完成从意图理解、SQL生成、验证执行到洞察解读的全流程,突破传统Text-to-SQL只生成查询的局限。本文解析其六步工作流、语义锚定与知识图谱的作用,以及企业落地时的治理要点与实施路径。

企业级AI网关Top 5对比:Bifrost、Portkey、Tyk、F5与Cloudflare
对比Bifrost、Portkey、Tyk、F5和Cloudflare五款企业级AI网关,从身份认证、预算管控、审计合规、部署灵活性等维度分析各自适用场景与核心差异。

AI评测器真相:没有答案键,评分会有多不可靠?
梳理77项研究后发现:AI评测器没有验证过的答案键时,恰在它自己答不对的问题上最不可靠,且错误系统性偏向误通过。本文解析原因、主观判断的边界,并给出一套可上手的20样本检查流程。

多智能体交接丢失:规划从未到达执行者
一个本地 8B 模型的三步多智能体流水线准确率胜过单次调用,但日志显示规划器的完整笔记在 LangGraph 子图状态 schema 边界处被截断为 60 字符。增益来自执行器和审阅器重读原始报告,而非规划步骤本身。

Git配置劫持编码代理:三起漏洞与防护清单
恶意Git配置可在审批前劫持编码代理执行代码。本文解析GitSpawn、BragJack、Salesbleed三起漏洞,提供四步防护清单,强调用允许列表替代阻止列表并定期重测。

能训练推理LLM的GRPO,为何教不会机器人走路
GRPO让DeepSeek推理模型训练更便宜,但为何无法用于机器人控制?Reddit技术讨论指出两个原因:critic被删导致信用分配问题回归,以及LLM特有的终局奖励、可重放环境、预训练先验等条件在控制任务中不成立。De Oliveira等人的对照实验显示PPO在五个经典控制任务中全面胜出。

遥控测试机器人机构:DIY机器人自动化的新可能
一位Reddit创作者分享用遥控测试自制机器人机构的经验,探讨DIY机器人从想法到原型的开发路径、常见设计取舍以及从遥控走向自动化的渐进策略。

Kcgi:面向C/C++的极简CGI与FastCGI库
Kcgi是一个用C语言编写的极简CGI和FastCGI库,为C/C++开发者提供轻量级Web应用开发方案。本文介绍其设计哲学、FastCGI支持及适用场景。

