量子幻海

清华AI数学家系统攻克均匀化理论难题！人机协同完成17页严谨证明 思邈2025-11-0417:33:48 来源： AI正升级为“科研协作伙伴” 清华AIR团队 投稿 | 当AI不再只是解题机器，而能与人类并肩完成严谨的科研证明，这意味着什么？清华大学科研团队以自主研发的AI数学家系统（AIM）为协作伙伴，通过人机交互的模式成功解决了一项均匀化理论研究问题，形成约17页数学证明。该成果系统性验证了AI从“数学解题工具”升级为“科研协作伙伴”的可行性，为复杂数学问题的突破提供了新路径。这一突破，也让AI真正踏入了“原创科研”的核心地带，为未来数学发现的方式打开了新的想象空间。 数学研究的“AI困境”近年来，AI在数学领域的表现屡获突破： Gemini凭借Deep Think技术达到国际数学奥林匹克（IMO...

B站整了个搞笑诺贝尔评选，也太难绷了 闻乐2025-11-0414:29:29 来源： 搞笑但你先别笑，都是正经研究 闻乐 发自 凹非寺 | ...

我MiniMax，用实习生处理数据，照样屠榜开源大模型 克雷西2025-11-0413:16:04 来源： 官方技术博客揭秘技术细节 克雷西 发自 凹非寺 | 屠榜开源大模型的MiniMax M2是怎样炼成的？为啥M1用了Linear Attention，到了M2又换成更传统的Full Attention了？现在的大模型社区，可谓是被M2的横空出世搞得好不热闹。面对现实任务，M2表现得非常扛打，在香港大学的AI-Trader模拟A股大赛中拿下了第一名，20天用10万本金赚了将近三千元。 而之所以能够站在聚光灯下，还有一个原因是M2身上着实有不少奇招。除了注意力机制“回归传统”，M2在数据处理、思考模式上也是另辟蹊径，给开源社区带来了不一样的技术路径。而且MiniMax还公开了这些招数背后的“棋谱”，接连发布三篇技术博客，将M2的技术细节娓娓道来。博客一发布，本已讨论得热火朝天的大模型社区变得更热闹了，不乏有大佬给出自己的分析。其中也包括质疑的声音，比如Thinking Machine Lab技术人员Songlin...

告别盲目卷参数！科大讯飞1024亮出底牌：all in“更懂你” 鹭羽2025-11-0621:33:46 来源：...

钉钉DingTalk A1双11天猫、抖音双榜第一，国产AI硬件走向普惠 梦晨2025-11-0616:39:45 来源： AI办公神器 11月6日消息，钉钉AI硬件DingTalk A1在双11期间销量迅猛增长，已在多平台榜单中排名第一，成为广受消费者好评的“AI办公神器”。在天猫平台上，钉钉DingTalk A1在天猫录音笔新品榜持续蝉联榜首，获得超过60万人关注，并在录音笔热销榜、好评榜，持续霸榜前三多周，成为天猫双11 AI硬件产品中的黑马。在抖音平台，钉钉DingTalk A1已经在3C数码家电录音笔类别中名列榜首，成交量及成交额均保持领先。 DingTalk A1是钉钉在今年推出的首款AI硬件，依托钉钉AI听记和AI大模型能力，它能够帮助用户高效记录、转写、翻译、总结和分析语音沟通内容，并和钉钉工作流程打通，提升办公效率。DingTalk...

聚焦手机AI“超级入口”，中兴Nebula小模型让手机秒变“小秘”？ 思邈2025-11-0414:36:07 来源： 点餐订票“一句话搞定” 允中 发自 凹非寺 | 随着移动智能技术的飞速迭代，手机端聚合服务的AI“超级入口” 正成为行业竞争的新焦点——GUI Agent（图形用户界面智能体）凭借重塑流量分发格局的潜力，不仅催生千亿级市场机遇，更吸引苹果、华为、字节跳动、美团、智谱AI等企业纷纷布局。2025年9月14日，美团率先推出首个AI Agent，支持平台内“一句话点餐”，标志着该技术从研发走向实用化；而中兴通讯凭借自研技术框架，在这一赛道上交出了亮眼答卷，让手机真正实现“秒变私人小秘书”的体验升级。据2025年10月17日SuperCLUE发布的AgentCLUE-mobile手机GUI...

熬夜后走神不是你的错，而是自救机制在“洗脑” | Nature 闻乐2025-11-0615:21:07 来源： “洗脑”shi 闻乐 发自 凹非寺 | ...

2张4090竟能本地微调万亿参数Kimi K2！趋境联合清华北航把算力门槛击穿了 十三2025-11-0515:58:55 来源： 明星国产项目联动 金磊 发自 凹非寺 | 微调超大参数模型，现在的“打开方式”已经大变样了：仅需2-4 张消费级显卡（4090），就能在本地对DeepSeek 671B乃至Kimi K2 1TB这样的超大模型进行微调了。 你没有看错。这要放以前啊，各路“炼丹师”是想都不敢这么想的。因为按照传统的方法，类似Kimi K2 1TB参数的模型，用LoRA微调方案理论上需要高达2000GB的显存，而即便是参数量稍小的...

洋葱学园发布「自学破壁计划1.0」：多智能体架构落地推进AI自主学习 十三2025-11-0520:03:54 来源： AI时代，自主学习成为核心能力...

太初元碁携手申威亮相2025世界物联网博览会 的朋友们2025-11-0416:10:24 来源： 将自主创新的智能计算能力转化为教育高质量发展的新动能 日前，以“万物智联、无尽前沿”为主题的2025世界物联网博览会（简称“物博会”）在江苏无锡开幕。据了解，本届物博会将人工智能与物联网深度融合，并围绕“AI+物联网”趋势设置四大主题展馆，包括物联网能力馆、行业集中应用馆、智联生态馆、智慧生活馆，基于不同维度、领域全面呈现数字化时代下万物智联能力。 大会期间，太初（无锡）电子科技有限公司（又简称“太初元碁”）携手申威亮相，展出基于智算一体机的产教融合解决方案。据介绍，该产教融合解决方案以威鑫H8000...