「3-SAT问题」共找到 5042 篇相关文章
别死磕百万上下文了！Neo4j CEO 详解知识图谱：如何把大公司的“隐性知识”塞进 AI 的脑子？
Neo4j CEO Emil Eifrem 在播客中表示，AI 缺的不是更多上下文，而是上下文关系。图数据库能提供带结构的上下文，解决向量搜索难以解释的问题。GraphRAG 结合向量搜索与图遍历，可提高准确率。此外，还介绍了图数据库在多领域的应用及相关工具。
Skill vs App：一场入口范式的争夺
量子位举办的「龙虾时代，Skill会吃掉App吗？」主题沙龙上，多位从业者围绕Agent生态、Skill能力边界、App未来形态等话题展开讨论。指出Skills不会完全干掉App，App会以Skill形式继续存在并进化，还探讨了App在AI时代的多种走向及面临的问题。
刚刚，百度抛出“王炸”：全球首个可商用自我演化智能体！李彦宏：技术迭代速度是唯一护城河
在百度世界大会上，李彦宏指出产业结构不均衡问题，介绍AI产业从‘正金字塔’向‘倒金字塔’转变。百度展示内化AI能力成果，如发布数字人、重构搜索、更新秒哒等，还推出昆仑芯、文心大模型5.0和全球首个可商用自我演化智能体百度伐谋。
Claude 小升级就赢了OpenAI 9年“开源神作”？高强度推理直接歇菜、幻觉率高达50%，写作还被Kimi 2吊锤？
OpenAI发布首个开源语言模型系列gpt - oss，包括gpt - oss - 120b和gpt - oss - 20b，可在Hugging Face下载。同期谷歌Deepmind推Genie 3，Anthropic放出Claude Opus 4.1。Claude Opus 4.1编程性能提升，实测编码能力强于gpt - oss。gpt - oss虽有亮点，但幻觉率高、实测效果不佳。
DeepMind哈萨比斯：AI能建模所有进化而来的事物
谷歌DeepMind首席执行官哈萨比斯在与莱克斯的对谈中，深入探讨了人工智能的未来，包括其在模拟物理现象、视频游戏开发中的应用，以及通用人工智能的潜在发展。他认为任何能通过进化形成的事物都能被AI高效建模，还分享了对多个AI相关问题的看法。
社区供稿 | 让记忆成为模型能力 MemT 1.0 快速出圈
记忆张量开源 MemT 1.0 系列，在查询不提供历史文本的条件下，两款模型在 11 项记忆基准上取得参数化记忆方法第一和第二名。
具身下半场怎么打？智元用一场发布会，给出了自己的答案
智元机器人在创新日公布，其人形机器人累计出货突破 2 万台，上半年收入接近 20 亿元；同时主张具身行业应从卖整机转向按「有效工时」交付结果。
清华&智谱唐杰HarnessPro：更强，更便宜
清华大学与智谱唐杰团队开源 Agent 运行层优化框架 HarnessPro。它通过自动调整外部执行策略，在代码修复基准 SWE-Bench Pro 上将单任务成本降低 53%。
腾讯开源 Hy-Nomas ：支持自由文本与连续相机控制的交互式世界生成
腾讯混元团队开源交互式视频世界模型 Hy-Nomas，支持交替使用文本与键鼠运镜控制场景演化，单张 RTX 4090 即可部署推理，在线 Demo 已同步上线。
清华Nature子刊：上千智能体组网后自发站队，观点极化涌现
清华大学等团队在《自然·通讯》发表研究，将 1000 个大模型连入网络自由交流，中立观点在不到 10 轮互动后急剧萎缩至最低 0.4%，自发分化成对立阵营。