「非确定性编程」共找到 1693 篇相关文章
五倍推理加速，激发自回归潜能，苹果新工作让LLM预测未来
近年来自回归训练方法成语言模型主流范式，但推理阶段计算开销大。苹果研究人员开发框架，让预训练自回归大模型多 token 预测，代码和数学任务推理加速达 5.35 倍，一般任务约 2.5 倍。
刚刚，OpenAI神秘新模型斩获IMO 2025金牌！攻克奥数巅峰，硅谷沸腾
OpenAI用全新通用推理模型夺下IMO 2025金牌，解出5道题狂揽35分，远超此前Gemini 2.5 Pro的13分。此或意味着其研发出颠覆性推理技术，告别CoT，且模型未针对IMO训练，有持久创造性思维。
每天熬到凌晨、没有人规划、全靠“能干就干”！离职员工爆料：OpenAI Codex 就是这样“卷”出来的
《连线》称 OpenAI 研究员 Jason Wei 等将加盟 Meta。离职员工 Calvin French - Owen 分享在 OpenAI 经历，揭秘其自下而上研究文化、扩张问题、成本结构等，还讲述 Codex 开发情况。
苹果向英伟达生态妥协了！MLX框架主动适配CUDA
苹果特意为端侧AI模型训练推出的MLX框架，主动增加了CUDA支持。因CUDA在AI开发领域占主导，且生态强大，苹果此举是借力英伟达生态、扩大自身影响力的战略选择，也避免侵权。
Claude Code 通过流式 HTTP 获得对远程 MCP 服务器的支持
Anthropic在Claude Code中引入对连接远程MCP服务器的支持，开发人员无需手动本地服务器设置就能集成外部工具和资源，还支持通过HTTP或SSE的OAuth 2.0进行身份验证，不同人对此功能看法不一。
快问快答｜AI都会写代码了，还要不要报考计算机专业？！
在AI大模型能写代码的背景下，InfoQ采访王昊奋、谭晓生、邹欣，探讨高考是否报考计算机专业。他们就专业前景、核心价值转变、核心能力等发表看法，还提及课程调整和其他专业选择。6月30日直播将深入探讨。
刚刚，OpenAI最强推理模型o3-pro诞生！碾压Gemini 2.5 Pro击穿底价
OpenAI昨夜官宣上线最强推理模型o3 - pro，还将o3价格暴降80%。o3 - pro专为深度思考和提供超可靠答案而生，在多项测试中表现优异，虽有速度慢等限制，但优势明显，网友实测效果惊艳。
大模型玩不好数独？！Transformer作者初创公司公布排行榜：o3 Mini High“变异数独”正确率仅2.9%
Transformer作者初创公司Sakana AI公布AI解决数独能力排行榜，用全新基准Sudoku - Bench考验大模型创造性推理能力。结果显示大模型总体正确率仅15%，9×9数独中高性能模型o3 Mini High正确率2.9%。
为什么Cline不对你的代码库进行索引（以及为什么这是好事）
用户常问Cline如何处理大型代码库，是否用RAG索引全部代码。Cline特意选择不对代码库进行索引，因为传统RAG方法用于代码库有逻辑切割、索引过时、安全风险等问题。Cline像开发者一样处理代码，有独特优势。
中国需要什么样的机器人?
当下具身智能火爆，人形机器人虽吸睛但商业化难。工业智能体已落地产线，如思谋科技产品进入全球300家龙头企业流水线。行业存在算法不成熟、发展慢等痛点，工业具身智能有望成下一个热门赛道。