「可验证智能」共找到 7238 篇相关文章
新型开源端到端 AI 语音模型！Voila：195ms 超低延迟引领全双工对话！
Maitrix团队发布开源AI端到端语音模型Voila，以195ms超低延迟及全双工对话受关注。它功能强大，支持多语言，有多种使用方式，适用于多个场景，架构采用模块化设计。
关于 AI 编程的最本质提问：Cursor 到底有没有护城河？
文章剖析了Cursor崛起原因、“护城河”及挑战。其“护城河”有产品粘性、高度集成和先发优势，但面临大模型“商品化”和众多模仿者挑战。还给出深化“护城河”建议，最终能否胜出待时间检验。
陶哲轩邓煜最新对谈，呼吁数学「慢科研」
针对商业AI批量发布数学证明引发的争议，菲尔兹奖得主陶哲轩、邓煜在最新访谈中回应核心争议，提出AI解出问题不代表人类理解证明，呼吁保留数学「慢科研」的价值，讨论人机分工并推动开放数学工具开发。
万星skill作者：用Opus 5.5，先把视频skill卸载了
本文分享了GitHub万星项目video-shotcraft作者Vincent的最新观点，Opus 5.5仅需一句话就能生成包含BGM、音效的完整视频，无需额外视频制作skill，引发对AI技能价值的讨论。
直击2026骁龙峰会：2nm旗舰首秀，但Agent正在重塑骁龙｜甲子光年
本文是甲子光年发自2026高通骁龙峰会的现场报道，高通发布全球首款2nm工艺旗舰移动平台，同时披露其面向Agentic AI重构芯片架构、布局跨终端AI计算底座的完整战略，深度分析了端侧Agent落地的技术挑战与生态进展。
从芯片到集群：启邦泽益的推理算力性价比突围
本文整理自启邦泽益联席CEO马冠华在2026芯算力创新峰会上的演讲，针对大模型推理爆发、算力成本高企的行业痛点，介绍启邦泽益从芯片到集群的全栈高性价比推理算力方案。
当机器人走进个人生活，我们为什么需要它？｜甲子光年智库
甲子光年智库发布《2026个人机器人应用价值研究报告》，分析个人机器人产业从技术演示迈向真实家庭场景的新阶段，梳理行业玩家路径，探讨产业核心方向与未来增长空间。
对话零跑汽车周洪涛、冯铭月：零跑世界模型的300天｜甲子光年
本文是甲子光年对零跑汽车周洪涛、冯铭月的独家对话，披露零跑智驾从跟随策略转向押宝世界模型的研发过程、技术路线选择与普惠升级计划，还原零跑智驾超车历程。
对话 xLean 薛轲翰：扫地机产品远没有到头，清洁机器人可以是 Family Agent 的起点
这是Founder Park对xLean创始人薛轲翰的专访，薛轲翰提出通用家庭机器人应从真实场景切入，而非诞生于实验室，xLean推出双形态洗地机器人TR1，以清洁为起点布局Family Agent生态，已获得不错的市场反馈。
特斯拉Cybercab正式上线：没有方向盘没有刹车，已开始在奥斯汀拉客
当地时间9月3日，特斯拉在奥斯汀启动Cybercab付费服务，该车无方向盘、刹车等。其成本约1.8万美元，远低于对手。不过，它面临监管和技术约束，目前投放规模小，未来发展待验证。