「可验证智能」共找到 7238 篇相关文章
千丁数科魏振华：企业AI落地“六步法”｜甲子引力
2025年12月3日，千丁数科COO兼首席科学家魏振华在甲子引力年终盛典上，结合龙湖数字化沉淀与实践，复盘企业AI落地。他提出“六步法”，并展示六大场景数据，为传统行业智能化转型提供参考。
摩尔线程新一代GPU架构10天后发布
2025年12月19 - 20日，摩尔线程首届MUSA开发者大会将在北京举行。大会聚焦国产算力，主论坛将发布新一代GPU架构，还有20+技术专场和1000㎡科技嘉年华，官网已开放报名。
Yann LeCun离开Meta后首篇论文？使用了宇树机器人做研究
伯克利、纽约大学等团队发表论文，提出GenMimic方法，让机器人能零样本复现AI生成视频动作。Yann LeCun是共同导师之一。团队构建GenMimicBench数据集，经仿真和真实实验验证方法可行。
谷歌全线开挂！Gemini 3 Deep Think夺多项推理SOTA，Gemini亚洲新团队也官宣了
谷歌的Gemini 3 Deep Think模式正式上线，推理能力显著加强，在ARC - AGI、HLE等多项权威测评中夺魁，仅向Google AI Ultra订阅用户开放。同时，谷歌DeepMind将在新加坡成立新的Gemini研究团队，由95后华人科学家Yi Tay带队。此外，谷歌还推出了Google Workspace Studio。
Claude Code 豪气收购一家0收入前端公司：押注一位高中辍学创始人
当地时间12月2日，Anthropic宣布收购热门开发者工具初创公司Bun。此次收购标志其向开发者工具领域迈进，因Bun能解决智能体分发和运行效率问题，且被众多AI编程工具使用。
Agent 正在终结云计算“流水线”，Infra 必须学会“思考” | 专访无问芯穹夏立雪
InfoQ 专访无问芯穹联合创始人夏立雪，他分享了面向 Agent 的基础设施建设进展与经验，探讨从“处理”到“思考”的范式转变对基础设施的冲击，指出 Agent 规模化落地阻碍及解决办法，还谈及 Agentic Infra 等内容。
FLUX.2开源了，但是我好像也看到了小公司的无力。
AI绘图曾经的王者FLUX.2部分模型开源，包括dev和即将开源的klein。但与Nano Banana Pro对比，其生图、改图及世界知识表现欠佳。这凸显小厂在大厂资源碾压下的无力，但开源仍有价值。
Claude Opus 4.5 × Agent Skills：从第一性原理深入剖析
文章深入剖析Claude Opus 4.5与Agent Skills，介绍了Claude Opus 4.5发布，结合Agent Skills能让模型有专业级能力。还阐述Agent Skills高级设计模式、内部架构及执行生命周期，揭示其工作机制与优势。
现在对开发者的定义，就像会写字的都叫书法家一样
作者对开发者定义感到困惑，如用扣子搭工作流、用秒哒产出网站也算开发者。AI 产品宣传覆盖大量开发者，造成泡沫，伤害真正开发者。还指出开发者痛点，给出做产品和发展的建议。
减少检索增强生成（RAG）语义缓存中的误报：以银行业为例
文章围绕检索增强生成（RAG）语义缓存展开，指出其虽能提升效率，但设计不当会产生假阳性。以金融服务FAQ系统为例，经多组实验，发现缓存设计比模型优化更能减少假阳性，还给出未来架构路线图。