AI进家庭
GitHub Copilot 现可在 Windows 终端中运行了
作者 | Craig Risi 译者 | 刘雅梦 策划 | 丁晓昀 GitHub Copilot 集成到 Windows 终端 Canary 中了，推出了一项名为“终端聊天”（Terminal Chat）的 AI 驱动特性，使用户能...
Gemini 2.5编程全球霸榜，谷歌重回AI王座！神秘模型曝光，奥特曼迎战
新智元报道 编辑：桃子 英智 【新智元导读】刚刚，Gemini 2.5 Pro编程登顶，6美元性价比碾压Claude 3.7 Sonnet。不仅如此，谷歌还暗藏着更强的编程模型Dragontail，这次是要彻底翻盘了。 谷歌，彻底...
“Bug”还是“预演”？GitHub 突然“封禁”所有中国 IP，官方：只是“手滑”技术出错了
整理｜冬梅 GitHub 回应“封禁”中国 IP： 只是技术 Bug 昨晚，一则“GitHub 封锁中国 IP”的消息在技术圈内引发热议。 事情的起因是，有用户日常访问 GitHub 时发现已经被其拒之门外，也就是说中国 IP 登录 G...
推理AI「脑补」成瘾，废话拉满！马里兰华人学霸揭开内幕
新智元报道 编辑：犀牛 定慧 【新智元导读】研究发现，推理模型（如DeepSeek-R1、o1）遇到「缺失前提」（MiP）的问题时，这些模型往往表现失常：回答长度激增、计算资源浪费。本文基于马里兰大学和利哈伊大学的最新研究，深入剖...
3710亿数学Tokens！全球最大开源数学数据集MegaMath震撼发布，碾压DeepSeek-Math
©来源 | 机器之心 在大模型迈向推理时代的当下，数学推理能力已成为衡量语言模型智能上限的关键指标。 近日，LLM360 推出了 MegaMath：全球目前最大的开源数学推理预训练数据集，共计 3710 亿（371B）tokens，覆盖网...
突发！OpenAI推出API组织验证：不验证就不让用最新模型
OpenAI 刚刚上线了一项重要更新——API 组织验证（Verified Organization）。直接关系到你未来能否用上 OpenAI 最顶尖的 AI 模型和新功能 接下来一周OpenAI将发布一系列新模型，Sam Altman...
更长思维并不等于更强推理性能，强化学习可以很简洁
机器之心报道 编辑：Panda 今天早些时候，著名研究者和技术作家 Sebastian Raschka 发布了一条推文，解读了一篇来自 Wand AI 的强化学习研究，其中分析了推理模型生成较长响应的原因。 他写到：「众所周知，推理模型通常...
中科大、中兴提出新后训练范式：小尺寸多模态模型，成功复现R1推理
本文第一作者为邓慧琳，中国科学技术大学硕博连读四年级，研究方向为多模态模型视觉理解、推理增强（R1强化学习）、异常检测。在TAI、TASE、ICCV等期刊和顶会发表论文。 近年来，随着大型语言模型（LLMs）的快速发展，多模态理解领域取得...
过程奖励模型也可以测试时扩展？清华、上海AI Lab 23K数据让1.5B小模型逆袭GPT-4o
赵俭，北京邮电大学本科三年级，研究方向为大语言模型。刘润泽，清华大学硕士二年级，师从李秀教授，研究方向为大语言模型与强化学习，特别关注大模型推理能力增强与测试时间扩展，在 NeurIPS、ICML、ICLR、AAAI 等顶级学术会议发表多...
刚刚，AI破解50年未解数学难题！南大校友用OpenAI模型完成首个非平凡数学证明
新智元报道 编辑：Aeneas KingHZ 【新智元导读】AI辅助人类，完成了首个非平凡研究数学证明，破解了50年未解的数学难题！在南大校友的研究中，这个难题中q=3的情况，由o3-mini-high给出了精确解。 就在刚刚，A...