AI进家庭

刚刚，OpenAI研究员Alexander Wei通过社交媒体宣布了一项人工智能领域的历史性突破：其团队开发的最新实验性内部推理模型，在全球最负盛名的数学竞赛——国际数学奥林匹克（IMO2025）中，取得了相当于人类金牌选手的惊人成绩(注意这个OAI内部模型内部评估，不是这次参赛IMO2025的o3 high) 与此同时，他还在帖子中透露：备受全球关注的...

新智元报道 编辑：编辑部 【新智元导读】OpenAI的神秘通用推理模型，竟然攻克IMO 2025的5道难题，成功摘金了？这个消息，让Greg Brockman等一众大佬激动转发。也就是说，OpenAI很可能已经研发出颠覆性的推理技术，彻底告别CoT。还有一个炸裂消息：GPT-5也要来了。 就在昨天，全世界的顶尖大模型还在2025年的IMO赛场上全军...

最近开源大模型的主角是Kimi k2，在huggingface上已经牢牢占据首位一个周了。 不过，排名第二却不断的变化。 今天排名第二和第三的是同一家公司同一个模型的不同版本。 Voxtral Small 。 这是一个声音模型（暂不支持中文）。 Voice: 原始 UI。 声音是人类的第一个界面——在书写或打字之前，它就让我们能够分享想法、协调工作并建立关...

Qwen2.5-Coder 潜力无限，微软又基于 Qwen2.5-Coder 搞出了 NextCoder-32B。这个新模型在 Aider Leaderboard 刷到了 23.6 分，接近了 gpt-4o 的水平。 采用的魔改方法包括 SeleKT 后训练，以及魔改为带有 RoPE、SwiGLU、RMSNorm 和 Attention QKV 偏置的 tr...

LatentCoT-Horizon：探索隐式推理与语言模型的前沿研究。亮点：1. 汇集了2025年最新的隐式推理相关论文和代码；2. 涵盖多种推理方法，如循环推理、隐藏状态方法等；3. 提供丰富的应用场景和优化策略。 参考文献： [1] http://github.com/multimodal-art-projection/LatentCoT-Horiz...

MLX-LM-LENS：深入探索大型语言模型的隐藏秘密。它能帮助研究人员和开发者轻松查看MLX基础语言模型的隐藏状态、注意力分数和嵌入输出。亮点：1. 提供简单易用的封装工具，快速上手；2. 支持所有MLX-LM框架的模型，兼容性强；3. 可用于创建真实世界模型，如“Josiefied Abliterated”模型。 参考文献： [1] http://g...

Peekaboo：macOS上的闪电般快速截图工具，支持AI视觉分析。亮点：1. 闪电般快速截图，支持屏幕、应用或特定窗口；2. 集成AI分析，支持GPT-4 Vision、Claude等模型；3. 隐私优先，支持本地AI模型运行。 参考文献： [1] http://github.com/steipete/peekaboo [2] https://pee...

文章转载自「MiniMax 稀宇科技」。 MiniMax 在 7 月 10 日面向全球举办了 M1 技术研讨会，邀请了来自香港科技大学、滑铁卢大学、Anthropic、Hugging Face、SGLang、vLLM、RL领域的研究者及业界嘉宾，就模型架构创新、RL训练、长上下文应用等领域进行了深入的探讨。 嘉宾阵容很强大，聊的也很深入，Founder P...

鹭羽 白交 发自 凹非寺 量子位 | 公众号 QbitAI 稚晖君之后，王兴兴也来到了资本市场门口。 创业九年，宇树科技终于走到IPO门前。这次不再是传闻。 中国证监会官网信息，宇树已在浙江证监局办理辅导备案，并且公布了首次公开发行股票_（IPO）_并上市辅导案报告。 这标志着宇树科技正式冲刺A股上市。 王兴兴持股也随即曝光，直接持股23.82%，并通过有...

新智元报道 编辑：LRST 【新智元导读】PhysRig是UIUC与Stability AI联合提出的首个面向角色动画的可微物理绑定框架。通过将刚性骨架嵌入弹性软体体积，并使用Material Point Method（MPM）进行可微分物理模拟，PhysRig能够自然还原皮肤、脂肪、尾巴等柔性结构的变形过程，显著提升角色动画的真实感，解决传统LB...