slug
summary
tags
icon
password
清华AI数学家系统攻克均匀化理论难题！人机协同完成17页严谨证明
清华大学的AI数学家系统成功解决了均匀化理论问题，形成了约17页的数学证明，标志着AI从解题工具转变为科研协作伙伴。研究通过人机协同模式，系统性分析了复杂数学问题，提出了五大高效人机交互模式，为未来的数学研究提供了新路径。
马斯克造星链，劈柴造算链！英伟达卷到宇宙，谷歌也要上天
谷歌宣布将其TPU送入太空，推出名为'捕日者计划'的项目，计划在2027年发射两颗原型卫星，利用太阳能驱动AI计算。该系统旨在建立基于太空的机器学习数据中心，克服高带宽星间链路、卫星编队控制、TPU抗辐射能力和经济可行性等技术挑战。
北大字节开源首个时空推理视频模型！思考过程全透明，性能超越GPT-4o
北大和字节团队推出了首个时空推理视频模型Open-o3 Video，能够在回答问题的同时提供具体的时间和空间证据，显著提升视频理解能力。该模型采用双阶段训练机制，通过自适应奖励策略优化时空对齐，性能超越GPT-4o等闭源模型，具备可解释性和可靠性。
2张4090竟能本地微调万亿参数Kimi K2！趋境联合清华北航把算力门槛击穿了
通过使用2-4张消费级显卡（4090），可以在本地对超大参数模型如Kimi K2进行微调，显著降低了成本。KTransformers和LLaMA-Factory的联动使得这一过程变得简单高效，支持LoRA微调，显存需求大幅减少。微调后，模型在特定任务上的表现有显著提升，开启了AI个性化定制的新时代。
产品上线 4 个月，估值超 1 亿美元，Agnes AI 即将完成新一轮融资
Agnes AI 在上线四个月内估值超过 1 亿美元，正在进行数千万美元的新一轮融资，主要用于大语言模型训练和全球市场商业化。用户超过 300 万，日活跃用户近 20 万，展现出强劲增长。团队自研的模型 Agnes R1 已达成行业领先性能，未来将加速多语言模型的训练。
这一年做 Agent 的公司，Coding 赚了钱，客服融了钱，你呢？
2025年被称为Agent元年，AI产品广泛应用Agent，编程类Agent收入最高，客服类Agent估值溢价高。未来趋势包括语音交互成为主流、企业并购Agent公司、推理成本上升影响利润、Agent购物支付基础设施关键、用户数据争夺加剧以及Agent监控工具成为必需。
中英双语、29项第一、像素级理解：360 FG-CLIP2登顶全球最强图文跨模态模型
FG-CLIP 2 是一款图文跨模态模型，具备像素级理解能力，在29项测试中超越Google和Meta，成为全球最强模型。它通过高质量数据集FineHARD和创新的训练策略，实现了中英文双语的精确理解，广泛应用于广告、智能检索和内容生成等领域。
上一篇
昆仑万维发布SkyReels多模态AI平台；具身智能GEN-0模型突破Scaling Law；Kimi-K2更新推理模式；ICML 2026禁止LLM署名；小鹏发布人形机器人IRON | 11月06日AI资讯
下一篇
AI资讯-11月04日
- 作者:AI学长小林
- 链接:https://ai.linbintalk.com//article/2a2629a6-152d-814c-9acd-ca6393a91e77
- 声明:本文采用 CC BY-NC-SA 4.0 许可协议，转载请注明出处。