「3-SAT问题」共找到 5032 篇相关文章
阿里开源QwenLong-L1：首个以强化学习训练的长上下文推理大模型
LRMs扩展到长文本场景是挑战，阿里开源QwenLong-L1框架，是首个用强化学习训练用于长文本推理的模型。它含三个核心组件，QwenLong-L1-32B性能领先，与Claude-3.7-Sonnet-Thinking相当。
别怀疑，就是这么强！！！13.7k Star Casdoor，爽爽爽爽爽～～～～
Casdoor是可自己部署的IAM/SSO服务端，像“身份门”，一次认证后将多种身份管理功能集成。它协议覆盖广、能衔接认证与权限管理等。但使用时也得认真治理，避免越权问题。
首篇具身智能机器人「安全」综述：LLM如何跨越物理鸿沟？
最新综述首次系统探讨LLM控制机器人的安全威胁、防御机制与未来挑战，指出LLM的具身鸿沟导致其在物理空间可能执行危险动作，而现有防御体系存在逻辑与物理脱节等问题。
刷榜自动驾驶语义场景补全！北大新作：高维度、高密度 | AAAI'26
北京大学彭宇新教授团队提出视觉语义场景补全方法HD² - SSC，通过高维度语义解耦和高密度占用优化，解决现有技术维度与密度差异问题，在两自动驾驶数据集上取得最优性能。
DeepMind科学家惊人预测：AGI在2028年实现，大规模失业要来了
Google DeepMind首席AGI科学家Shane Legg预测，最小AGI有50%概率在2028年实现，完全AGI将在其后3 - 6年出现，最终会诞生超越人类的ASI。这将带来变革，也引发失业担忧，需提前准备。
DeepMind招募波士顿动力前CTO，哈萨比斯点赞宇树
据Wired报道，谷歌DeepMind聘请波士顿动力前CTO Aaron Saunders，他将解决物理世界实现AGI的硬件问题。这是谷歌机器人战略的人才回流，Hassabis想让Gemini成机器人操作系统，他看好宇树但更关注软件。
老牌Transformer杀手在ICLR悄然更新：Mamba-3三大改进趋近设计完全体
Transformer架构仍是AI主流，Mamba作为挑战者影响力大。Mamba-3在ICLR 2026盲审，有梯形离散化、复数化状态空间模型、多输入多输出状态空间模型三大改进，实证表现佳，适合多场景。
阿里Qwen悄悄放出6个开源权重，国庆卷疯了~
国庆期间，阿里通义千问悄悄放出6个开源模型权重，Qwen3-VL是通义千问系列最强大的视觉 - 语言模型。其30B版本多模态表现媲美GPT - 5 - Mini等，功能与架构均有升级。
腾讯悄悄上线了“Claude Code”，居然还支持微信登录。
腾讯悄悄上线CodeBuddy Code（Claude Code），定位为AI CLI，能在命令行完成编程任务。作者测试用其开发MCP服务，速度快且功能全，还介绍使用方法，不过产品有稳定性问题，仍有潜力。
奥特曼反击挖走4人！Meta华人科学家在列，马斯克也躺枪
被挖走8人后，OpenAI反击。总裁称4人将加入，有Meta华裔科学家Angela Fan，还有3人来自马斯克旗下公司。此次有两名华人加入Scaling团队，OpenAI将加速使命惠及大众。