「可验证智能」共找到 7238 篇相关文章
OpenAI首席研究员Mark Chen长访谈：小扎亲手端汤来公司挖人，气得我们端着汤去了Meta
OpenAI首席研究官Mark Chen在访谈中爆料Meta抢人大战升级成送汤大战，还谈到OpenAI核心研究团队规模、应对Gemini 3策略等。他认为OpenAI本质是研究公司，有信心在预训练和模型性能上超越对手，还提及OpenAI for Science等计划。
别装了，AI巨头们！谁在卡脖子，谁在割韭菜？这张图一目了然
卡内基梅隆大学发布首个刻画AI供应链数据集，揭示资本、科技与权力「关系网」。供应链上游市场集中或致连锁故障与垄断，绘制其链条能助于多项关键分析，看清产业全貌。
Github 1.8k star Skyvern：AI直接接管鼠标键盘，3行API干掉你写了3年的脆弱XPath脚本！
Skyvern是开源AI浏览器代理，结合LLM和计算机视觉，自动执行浏览器业务流程。它用简单API复刻人工操作，替代传统脚本，解决脚本脆弱、流程复杂等痛点，功能丰富，技术优势明显，适合多业务场景。
今日硅谷科技头条是一个游戏机
V社连发VR头显Steam Frame、游戏主机Steam Machine和新款手柄Steam Controller三款游戏硬件，预计2026年初推出。Steam Frame亮点多，Steam Machine性能强，Steam Controller适合PC玩家，V社构建起软硬件+内容闭环生态。
独家丨智驾老将佟显乔再创业，聚焦机器人数据方向
AI科技评论独家获悉，前卡睿智行创始人佟显乔2025年5月创立深圳极数迭代科技有限公司，聚焦机器人数据。该公司另一股东关联港中深，这是佟显乔与港中深在该领域的深度合作。
jiSGLang集成ktransformers：2TB内存运行Kimi K2 Thinking模型
对于内存多但GPU资源有限的用户，SGLang集成ktransformers的CPU内核，支持直接运行Kimi K2 Thinking模型。它无需等量化，还能微调，虽性能与GPU方案有差距，但给用户新选择。
DeepSeek开源的不仅仅是个新OCR模型。。。
DeepSeek开源3B参数的新OCR模型，重新思考AI处理长文本方式，用视觉token压缩文本信息。核心组件有DeepEncoder和DeepSeek3B - MoE解码器，实验效果好，成本降低，还解决了一些算法和工程问题。
刚刚！AI 圈顶流 Karpathy 三连击：开源、泼冷水、AI 教育~
10月，AI圈顶流Andrej Karpathy有三连动作：开源nanochat项目，100美元可复刻ChatGPT；发表AGI十年论，给行业泼冷水；推进Eureka教育项目，重构AI教育范式。
今年诺奖成果曾遭质疑无用，但华人团队用它研制了未来芯片的「钥匙」
2025年诺贝尔化学奖成果MOF曾因稳定性差、成本高，实际应用寥寥。如今，海外华人科研团队用其造出纳米级液体芯片，能执行逻辑运算，有记忆效应，成果发表在Science子刊。
Anthropic 研究员：强化学习将推动 Transformer 实现 AGI
在 AI Agenda Live 纽约活动上，Anthropic 强化学习团队技术负责人 Sholto Douglas 称，无需新架构突破，强化学习能让 Transformer 达人类专家级别表现，接近 AGI。但定义「好表现」是难题，Anthropic 或投 10 亿美元提升模型企业应用表现。