「软验证生成」共找到 2929 篇相关文章
让机器人学会“预判接触”：它石智航牵头四大顶尖机构发布TacForeSight，破解精细操作难题
它石智航联合四大顶尖机构发布论文“TacForeSight: Force-Guided Tactile World Model for Contact-Rich Manipulation”，提出力条件触觉世界模型，让机器人能提前预判接触变化，在精细操作领域取得关键进展。
天塌啦！！！这个开源项目让我失业啦，1300+ Star的开源AI画布，牛到让你怀疑～～～
介绍了 1300+ Star 的开源 AI 画布 Infinite - Canvas，它以画布为创作统一入口，有独特架构和多协议适配，具备多种实用功能、生态插件及两种画布模式，部署简单但需配置，适用于多场景，有优点也有局限。
ICML 2026 | 只用少量Thinking Tokens，大模型依然能深度思考
近年来，CoT 推理成为提升大模型复杂问题求解能力的重要路径，但带来效率问题。浙江大学等团队提出 Heima 框架，将冗长 CoT 压缩为少量 thinking tokens，在减少 token 数的同时保留推理能力，已被 ICML 2026 接收。
ICML 2026 ｜让大模型边想边说：这篇文章把「何时开口」变成可学习策略
论文《When to Think, When to Speak: Learning Disclosure Policies for LLM Reasoning》针对推理模型的‘沉默税’问题，提出Side - by - Side（SxS）Interleaved Reasoning，将‘何时披露内容’变为可学习决策，经实验验证效果良好。
Anthropic发布「AI原生创业公司」手册：涵盖全流程四大核心阶段，一人公司法典来了
Anthropic发布打造AI原生创业公司手册，针对2026年可能性梳理创业四阶段：想法、MVP、上线和规模化，明确各阶段目标、退出标准、失败模式及AI实操练习，涵盖研究、编码、运营等方面。
商汤SenseNova U1深度拆解，原生统一架构终结缝合时代
文章深度拆解商汤科技开源的新一代模型「日日新 SenseNova U1」，介绍其基于 NEO - Unify 原生统一架构，在数据、训练与推理深度协同，多维度测试成绩亮眼，代表多模态从拼接走向原生建模新方向。
号称1200万token上下文的模型来了，数据亮眼但疑点重重
当地时间5月5日，Subquadratic公司推出模型SubQ，称是LLM智能重大突破，有1200万token上下文。数据亮眼，如在1M token场景比FlashAttention快52倍等，但也引发质疑，有人推测是对开源模型微调，官方未公布详细模型卡。
Karpathy的软件3.0：Agent的原生世界
OpenAI联合创始人Andrej Karpathy在Sequoia Ascent大会上表示，AI Agent正改变软件与工作模式。编程基本单位从写代码变为给Agent下达指令，软件3.0以上下文窗口为程序，LLM为解释器。他还提出理解AI能力分布的框架，给出创业建议。
上市首日大涨383%，上海跑出“全球AI硅光芯片第一股”
4月28日，曦智科技在港交所上市，首日涨幅383.62%，认购阶段成绩亮眼。其由沈亦晨创立，从光计算转型光互连后迎来转机。虽营收增长但亏损大，研发投入高，此次IPO募资用于研发等。
腾讯广泛使用的跨端开发框架——Kuikly在搜狗输入法中的AI Coding实践
AI 席卷开发领域，输入法团队在 Kuikly 跨端项目探索 AI 工程化方案。介绍了推进 AI 友好型工程、构建精准 AIContext 等关键层面，以灵感词库页面开发为例展示效果，还展望了未来探索方向。