「数学证明工具」共找到 2473 篇相关文章
云计算一哥10分钟发了25个新品！Kimi和MiniMax首次上桌
亚马逊云科技CEO在re:Invent 2025上10分钟发25个新品，2小时近40个。围绕AI Agent，从算力到模型、平台、应用全面布局，还引入中国Kimi和MiniMax，构建全栈壁垒，助力企业用好AI。
英伟达Run:ai没做到的，被华为开源方案实现了
传统存储难满足AI需求，存储需向‘智能存储’演进。华为数据存储团队推出系列产品和开源工具链，其Flex:ai对标Run:ai，更开源底层，能解决行业算力痛点，已在医院场景落地。
小红书提出社交大模型RedOne 2.0：兼听、敏行
在SNS内容爆炸式增长的当下，传统SFT训练方法有局限。小红书NLP团队推出RedOne 2.0社交大模型，采用以RL为核心的三阶段渐进式训练方法，实验显示其性能优异，还能转化商业价值。
机器人“会用手”了！银河通用首破手掌任意朝向旋转难题，拧螺丝、砸钉子样样精通
银河通用推出的灵巧手神经动力学模型DexNDM，让灵巧手实现从能动到能用的飞跃。它首次突破手掌任意朝向旋转难题，实现跨物体、跨姿态稳定操作，助力机器人迈向精细操作，推动灵巧操作走向生产力基础设施。
B站整了个搞笑诺贝尔评选，也太难绷了
B站2025超级科学晚变身搞笑诺贝尔奖颁奖典礼，获奖研究脑洞大开，如狼人杀AI、给蚊子变性等。虽看似不正经，实则是各领域正经科研突破，涉及数学、物理、医学等多领域。
Sea AI Lab 揭秘：你费尽心力调的 LLM 一直在崩溃？罪魁祸首可能只是一个参数：BF16
Sea AI Lab 和新加坡国立大学研究指出，强化学习微调中训练不稳定和性能瓶颈，根源是数值精度 BF16。其低精度造成“训练 - 推理不匹配”，使训练易失败。将精度切换到 FP16 可解决问题，提升模型表现。
8.9K Star！号称 Notebook LM 开源平替，支持 16+AI 模型，一键部署！
Google Notebook LM 虽方便，但有数据泄露风险且被平台绑定。开源工具 `open-notebook` 是其平替，支持 16 + 家 AI 模型提供商，可处理多模态内容，能本地部署保障数据安全，还具备多种实用功能。
AI 时代，重新定义开发者丨最新白皮书解读
AI时代开发边界被重定义，更多非传统开发者用AI工具解决业务问题。知乎等发布白皮书，揭示新时代开发者画像、核心焦虑，还讲述其认知飞轮及案例，展现AI对开发的变革。
超越纯视觉模型！不改VLM标准架构，实现像素级深度预测
Meta开源DepthLM，首证视觉语言模型不改架构，也能媲美纯视觉模型的3D理解能力。它通过视觉提示等策略，解锁VLM多任务处理潜力，为自动驾驶等领域带来前景。
Claude Skills很重要
作者本想退订Claude，因Anthropic发布Claude Skills改变主意。它是‘能力包’，含SOP、工具和资源，分层加载省上下文窗口。预设Skills可体验，官方开源，模块化设计利于挂载和按需加载，或形成Skills Market。