「3-SAT问题」共找到 5039 篇相关文章
卡帕西入职Anthropic仅两月疑离职；日媒拆解宇树G1后认输：短期内赶不上中国；腾讯317万年终奖员工被辞退：永不录用｜AI周报
这篇 AI 周报涵盖诸多热点，如 AI 大神 Karpathy 入职 Anthropic 两月疑离职；Kimi K3 超越闭源模型引关注，美指控其蒸馏美模型；腾讯员工晒 317 万年终奖被辞退；360 首任董秘追讨股权；多家公司有模型发布、业务调整等动态。
AI时代的传统车企转型：广汽的“双核”战略、组织裂变与自研之路｜行知数字中国
本文讲述广汽集团数字化转型历程与规划。在新兴车企冲击下，广汽开启转型，从组织架构破冰到技术突破。转型中业务、组织、文化三重裂变，现进入 GDA 3.0 提出双核战略，还分享国企转型方法论及自研重要性。
消失的Ilya，被马斯克和OpenAI逼进法庭
10月1日旧金山，马斯克和OpenAI律师对Ilya进行近10小时质询，为奥特曼被罢免事件提供详尽内幕。爆料源于法官对马斯克诉奥特曼案的取证裁定，还涉及OpenAI与Anthropic合并讨论及奥特曼“问题行为”等。
DeepSeek推理再提速80%，V4正式版定档7月中旬
DeepSeek两天前开源DSpark推理加速框架，已在V4预览版在线服务跑真实流量，使生成速度提升60% - 85%。DSpark化解推测解码问题，在多模型超Eagle3和DFlash。V4正式版7月中旬上线，将引入峰谷定价。
多模态爆发之后，谈 AI、IP 与漫剧
文章围绕AI漫剧展开，讲述其兴起动因，如技术突破、成本降低等；探讨IP创作该选成熟IP还是新IP；展望未来，认为它可能成主流，但要解决内容和技术难题；还提及工具平台与内容收益问题。
构建能源领域的AI专家：一个多智能体框架的实践与思考
本文介绍阿里团队在能源领域构建多智能体框架的实践。因单智能体处理复杂任务有“注意力发散”问题，团队研发综合能源智能体平台，阐述框架搭建、各组件功能及设计考量，还分享思考与可优化点。
“国产英伟达”沉浮：经历欠薪、二度创业
本文讲述了从 2018 年起，一支人才“梦之队”投身国产 GPU 芯片创业。先后成立中天恒星和砺算科技，却都遭遇资金问题。砺算科技正在流片的 G100 号称对标英伟达，但其资金困境使其未来充满未知，也反映了芯片创业市场现状。
全网炸了！骨折傅盛直播翻车：龙虾3分钟救场，10万人看懵了
春节滑雪受伤后，猎豹移动CEO傅盛躺在床上用语音和截图，基于OpenClaw框架14天养出一支8个Agent的AI团队，产出惊人数据。龙虾三万24小时建站，成本和时间优势明显。直播中三万还解决网站访问问题，揭示Agent核心壁垒是Skill积累。
小红书首次公开AI技术体系，为最大规模校招拼了
小红书在「问出好offer 第二季」校招直播间官宣2026最大规模校招，技术岗需求涨2.5倍。还首次公开AI技术体系，涵盖AI Infra等五板块，重点讲搜索与推荐，连麦回应职业规划等问题，介绍专属培养计划。
通过零开销逐层权重卸载技术将SGLang Diffusion wan2.2的推理速度加速60%
文章介绍在优化SGLang对Wan2.2视频生成模型支持时，发现双Transformer架构下第1步和第19步推理慢的问题。通过零开销逐层权重卸载技术，将整体推理速度提升60%，还突破显存墙，且该优化可扩展到其他模型。