「3-SAT问题」共找到 5042 篇相关文章
当「变大」不再是唯一的路，又一国产模型开源了
2026年6月智谱开源GLM - 5.2，心洲科技前沿实验室Mind Lab开源Macaron - V1，基座升级至GLM - 5.2。它押注持续学习与群体智能，成绩优于基座，相关理念和工程路径获验证。
天天追货源，月月看涨价——存储芯片从业者的困局如何解？
2026年上半年，由AI算力需求引发存储芯片“超级周期”，全球供需失衡，价格飞涨。“芯片通胀”从产业链上游传导至消费者。同时，中国存储力量强势崛起，还盘点了“第八届硬核芯”存储赛道明星产品。
Claude Opus 5 发布：Fable 5 一半的价格，更强的编码能力
Anthropic 发布 Claude Opus 5，定价与 Opus 4.8 相同，价格是 Fable 5 的一半。它在编码、知识工作和推理上表现出色，虽有不足，如速度慢、幻觉率较高，但提供多种 effort 等级，成本低，安全对齐性好。
AI把代码写崩，再花1周1万美元请人用AI修：Vibe Coding的荒诞闭环出现了
Slopfix团队由3名资深工程师组成，专门清理AI生成、难维护的代码库。先免费分析代码，适合重构就报价并承诺代码缩减目标，按完成比例收费。此模式引争议，也反映AI代码治理成新需求。
一夜狂揽 6k Star，232 个 AI 专家，真疯了！
开源项目 `The Agency (agency-agents)` 增长惊人，单日获 6K+ Stars，十天新增 3.3 万+。它打包开源 232 个 AI Agent 角色、16 个部门，各 Agent 有完整“人格系统”，支持多种主流工具，不过 Token 消耗大。
Codex 负责人：「所有人都是 builder」是个很糟糕的主意
OpenAI Codex 团队负责人 Andrew Ambrosino 认为，AI 时代产品开发各环节发生变化，实现成本降低，品味变得更重要。他还谈到岗位角色融合但 PM 不会消失，以及 Codex 发布时机和工作模式等问题。
红杉高瓴投资，前美团民宿 CEO 联合伯克利教授，做了一只 AI 蘑菇
Sowii 推出潮玩「秃秃」，首批 3 万件两天售罄，后续预售超 20 万件。创始人冯威赫是前美团民宿 CEO，联合创始人是伯克利教授。该产品让用户对非人类对象产生关注并建立关系，探索数字生命新形态。
马斯克悄悄改了战场：Grok Build 0.2.60 剑指 Agent Runtime
2026年6月21日，Grok Build发布0.2.60版本更新，未推新模型能力，而是聚焦Runtime细节，针对会话难恢复、长任务易卡住、工具输出易污染上下文等痛点优化，让Agent更稳定可靠。
19年不丢数据，擦写6万次不坏，原子级材料重新定义未来芯片
上海大学王震宇副教授团队在《自然·电子学》发文，用二硫化铌和二硫化钼做出新型非易失存储器，能保持数据约19年、擦写超6万次，还具备计算和存储两种本领，对未来低功耗计算和存内计算有吸引力。
AI Infra入门干货总结：大模型是如何高效推理的
作者深入研读vLLM源码，以Llama 3为例，聚焦Decoder-Only架构LLM，介绍推理各环节及张量维度变化，讲解连续批处理和Paged Attention概念，还阐述推理流程、采样策略等，最后总结相关拓展内容。