「AI世界模型」共找到 13894 篇相关文章
Gemini证明数学新定理！全程没联网
Gemini内部数学版学霸模型FullProof全程不联网，帮数学家证明代数几何领域新定理，即0亏格映射到旗簇空间的motivic类等价结论。它埋下关键思路伏笔、独立给出反例，比Macaulay2更优。
DeepSeek开源MoE新利器LPLB：基于线性规划，专攻训练动态负载不平衡
DeepSeek在GitHub开源LPLB，这是基于线性规划的并行负载均衡器，用于优化MoE模型专家并行工作负载分配。它通过动态重排序、副本构建等机制实现动态负载均衡，支持多种拓扑结构，但也存在成本估算等局限性。
SGLang-Diffusion: 两个月进展
自2025年11月初发布，SGLang - Diffusion获广泛关注。过去两月持续优化，速度提升1.5倍。介绍新模型支持、LoRA支持等进展，还展示性能测试结果，阐述关键改进及未来规划。
Claude Code 豪气收购一家0收入前端公司：押注一位高中辍学创始人
当地时间12月2日，Anthropic宣布收购热门开发者工具初创公司Bun。此次收购标志其向开发者工具领域迈进，因Bun能解决智能体分发和运行效率问题，且被众多AI编程工具使用。
少量视角也能得到完整3D几何，即插即用的语义增强重建插件来了
现有神经隐式路线在样本稀疏时有跨视角对应不稳等问题。上海交通大学等团队提出SERES，将跨视角语义一致性作先验注入模型，以低成本解决歧义问题，在多场景提升重建质量。
卡帕西8000行代码手搓ChatGPT，成本仅100美元，训练12小时CORE表现超越GPT-2，手把手教程来了
AI大神Andrej Karpathy新作nanochat，用8000行代码、100美元成本纯手搓克隆ChatGPT。它是极简全栈训练/推理pipeline，训练12小时，CORE表现超GPT - 2，还给出快速上手详细指南。
中国足球还是靠机器人吧！首届机器人运动会闭幕：票价终究保守了
世界人形机器人运动会闭幕，清华火神队1-0胜德国队获机器人足球赛冠军。赛中有诸多有趣场面，且比赛背后硬核技术拉满，像足球赛用自主行动机器人，胜负关键在算法。
首个开源多模态Deep Research智能体，超越多个闭源方案
首个开源多模态Deep Research Agent登场，整合多种工具并优化决策。其WebWatcher技术方案覆盖全链路，实验中在四大核心领域领先主流模型，展现复杂推理和信息检索实力。
DeepMind率先拿下IMO金牌，却被OpenAI 抢先发布了……
2025年IMO成绩公布，中国队获团体第一，DeepMind和OpenAI模型都达金牌水平。但DeepMind因内部验证和规定未及时官宣，OpenAI抢先发布，引发科技巨头竞争、速度与流程等多方面讨论。
Cursor 0.50 版本升级后如何省钱又高效？一份给开发者的避坑指南
本文围绕Cursor编程助手日常应用展开，讲解计费机制、工具调用等核心要点，结合实践给出高效使用方法论与避坑指南，如合理选模型、巧用工具、设置规则等。