「长度外推」共找到 1268 篇相关文章
黑洞信息悖论推进至“定量完备性模量”：清华团队开源VeriLoop E2迈向可验证智能
针对大模型长链推理、科研任务中无法自我验证结果可靠性的结构性缺口，清华团队推出开源项目VeriLoop E2，拆分模型探索权与外部证据提交权，在多场景完成验证，推进可验证智能发展。
GPT-6突破「素数间隔」纪录！这次是加入OpenAI的北大数院07级校友
OpenAI总裁宣布进入AGI时代，GPT - 6 Astra虽仅向少量组织开放，但引发大量讨论。北大数院校友苏炜杰宣布其将素数间隔上界从246推进至186，完成Lean验证。多家机构围绕此问题研究，AI或成数学研究伙伴。
刚刚，小米一口气发布三颗自研芯片！玄戒O3安兔兔跑分522万，安卓首破500万
小米玄戒技术沟通会上，负责人朱丹介绍三款芯片。主推AI旗舰SoC玄戒O3，安兔兔跑分超522万，下月将在小米18 Fold首发。还介绍了玄戒O100和玄戒D100，预计明年商用。
如何让AI推荐企业官网？官网GEO优化怎么做？【必看】
白杨SEO从网站代码优化、站内内容、站外推广三方面，介绍让AI推荐企业官网及做好官网GEO优化的方法。如代码优化要主动提交网站、部署SSL证书等，还给出企业官网老板执行清单。
Agent 落地，数据库先变
AI竞争靠近落地，Agent如何读懂业务、释放模型智能价值成核心命题，数据库也被推到台前。Agent成新用户，对数据库提出新要求。OceanBase提出湖库一体架构，欲做Agent时代数据底座，降低落地成本。
黄仁勋：Prompt正在过时，Loop才是新范式
黄仁勋称Prompt正在过时，Loop才是新范式。Loop指设计系统让AI自动下指令、验收，不合格重来。Claude Code和OpenAI Codex已围绕Loop落地产品，还给出了实操指南及发展历程。
突发！林俊旸被曝创业：新AI Lab估值20亿美元
自3月初离开阿里Qwen团队后，林俊旸动向曝光。外媒消息称他正为新创立的AI Lab筹集数亿美元资金，本轮融资后估值或达20亿美元，高榕创投与红杉资本已接洽投资，他还招募了相关成员。
Claude被美封杀后，Anthropic CEO回应一切！
2025年7月Anthropic与五角大楼签2亿美元合作合同，因提出AI不得用于全自主武器及大规模国内监控遭拒。美国防部长称其技术有“国家安全供应链风险”，Anthropic CEO回应坚持红线是捍卫美国价值观。
语音模型也能“freestyle”？可定制角色，模拟背景音
阿里新推两款语音模型，Fun - CosyVoice3.5可基于参考音频克隆声音，优化多方面能力；Fun - AudioGen - VD能进行‘从无到有’音色设计，并模拟复杂听觉环境。用户即日起可在阿里云百炼调用。
独家对话极映科技高鑫：我们为什么要做一个比Sora难10倍的物理世界模型？｜甲子光年
本文是对极映科技创始人高鑫的独家专访。极映源于高鑫早年体验，团队具深厚经验。其模型回归底层定律，响应快。投资人看好，专家认为能解决痛点。高鑫谈技术、前景、商业化等，称有望引领物理仿真变革。