「集合和差问题」共找到 8730 篇相关文章
74岁“酒鬼”教授终于拿诺贝尔化学奖了
今年诺贝尔化学奖授予北川进、理查德·罗布森和奥马尔·M·亚吉，以表彰他们在MOF上的杰出贡献。MOF是一种金属有机框架材料，有特殊多孔结构，可用于收集水、捕获二氧化碳等。北川进被称为PCP之父，他的研究源于对酒的热爱。
一个文件让 AI Coding 效率翻倍：AGENTS.md 实践指南
文章围绕如何写好 AGENTS.md 展开，介绍其是给 AI 看的项目指令，能解决项目对 AI 不友好的痛点。还阐述了编写原则、实践方法、选择原因、模板和实施建议等，可让 AI 高效理解项目，提升开发效率。
全球首个「导航大脑」上线！一句话让机器人自己找路回家
银河通用联合多所大学发布全球首个跨本体全域环视导航基座大模型NavFoM，让机器人能自主导航。它全场景、多任务、跨本体，重新定义导航逻辑，有技术创新和庞大训练数据，还衍生应用模型推动具身智能商业落地。
刚刚！Kimi Linear横空出世，全新注意力架构：1M长文本解码速度飙升6.3倍，KV缓存砍掉75%
月之暗面推出全新注意力架构Kimi Linear，有望成下一代Agent LLM基石技术。它解决了LLMs处理长序列任务的瓶颈，性能超传统机制，还开源了核心代码。Kimi Linear的KDA模块提升了表达和硬件效率，实验表现佳。
当智能醒于物理世界，英伟达副总裁: 下一个十年属于物理AI！｜新智元十周年峰会
在新智元十年峰会上，NVIDIA副总裁赖俊杰揭示公司下一个十年战略核心——物理AI，它是继生成式AI和智能体AI后的下一波浪潮。物理AI与现实物理世界交互，但面临诸多挑战，英伟达为此开源Cosmos世界基础模型。
AI哪怕答案正确，逻辑链却惨不忍睹，奥数级不等式证明成功率不到50%｜ 斯坦福&伯克利&MIT
斯坦福、伯克利、MIT等联合研究，系统评估29个大模型在奥数级不等式证明任务的能力。研究发现，模型答案正确多靠猜，推理漏洞多，参数大、思考久也不能提升推理严谨度，但自我反思和定理线索策略有改善效果。
实证：现在的LLM根本不会Reasoning！
论文指出当前大推理模型（LRM）如DeepSeek - R1等可能只是在表演“思考秀”，遇到复杂问题就崩溃。研究者用4个可控谜题测试，有三大颠覆发现，还揭示思考过程的荒诞现象，直指行业痛点并给出发展方向。
RL后训练步入超节点时代！华为黑科技榨干算力，一张卡干俩活
在大模型竞赛白热化当下，强化学习后训练成突破LLM性能天花板核心路径，但算力浪费和集群效率低是难题。华为团队祭出两大黑科技破局，在超节点实现训推共卡，资源利用率翻倍，还提升训练速度。
华为统治折叠屏
今年折叠屏市场平淡，多数厂商收缩产品线，小折叠被放弃，大折叠更新佛系。但华为逆势而上，2025年推出四款机型，吃下国内超七成市场。其折叠屏越贵越好卖，因性价比打法先天不足，华为靠形态创新和品牌优势领先。
小扎「芒果」生图只输GPT Image 2，没人教它改稿，它自己学会了
Meta推出图像生成模型Muse Image（代号「芒果」）和视频模型Muse Video预览版。Muse Image在文生图榜单排第二，改变画图方式，能自我修正。它与Muse Spark打通，Muse Video文生视频排第3。不过，其@功能有隐私隐患。