「3-SAT问题」共找到 5032 篇相关文章
Agent搜索哪家强？人大高瓴&快手联合发布全新评测基准GISA
人大高瓴与快手联合发布全新评测基准GISA，用于评估智能体搜索能力。它解决了现有基准反向构造、评估维度单一、答案易被记忆等问题，含373个高质量查询，实验显示当前搜索智能体距人类水平差距大。
马斯克再放大招！Grok AI短视频爆火，一夜全网刷屏
今天凌晨，马斯克更新Grok App，Grok Imagine向Grok Heavy用户推出，iOS App的Imagine功能升级。其生成的视频在𝕏上火爆，众多名人盛赞，它速度快，还将让原版Vine回归，对谷歌Veo 3形成挑战。
如何实现可验证的Agentic Workflow？MermaidFlow开启安全、稳健的智能体流程新范式
随着大语言模型发展，多智能体系统成新前沿，「Agentic Workflow」受关注。但现有系统存在合理性难保证等问题。新加坡和南洋理工团队推出MermaidFlow，以Mermaid语言显式建模工作流，提升可解释性与可控性，实验性能优秀。
国产Deep Research杀出一匹「裸奔」黑马：免费开放，过程透明，网页报告一键即出
国产AI搜索秘塔AI搜索放大招，深度研究功能发布即免费公开，自带新玩法，思考过程透明。在评测集上表现优，可应对复杂问题，生成规范报告，还能转互动网页，严谨度与易用性兼备。
追忆左耳朵耗子
本文追忆技术人左耳朵耗子，讲述其创业故事，包括创业契机、方向选择等，还分享技术见解，如选技术语言、积累技术等，探讨成长问题，如996、大小公司权衡等，最后推荐书籍并谈对年龄危机看法。
刚刚，中国语音AI连拿多项全球第一！
本文报道阶跃星辰推出StepAudio 3全系列五款音频大模型，覆盖听、说、理解、交互、创作全语音链路，拿下三项第三方评测全球第一，分析了语音AI行业从单点竞赛转向全栈体系竞争的新趋势。
ICML 2026 巡礼：注意力效率革命的九个切面
7月7日，ICML 2026进入正会第一天。雷峰网精选首日上午9篇论文，涵盖持续学习、多模态融合等方向，如MePo让预训练模型学会持续学习，HAF解决模态不平衡下的融合问题，展现AI研究前沿趋势。
AI越强，企业越迷茫：顶尖CIO们的十大真实之问
阿里云CIO与40余家头部企业CXO深度碰撞，总结出《企业智变下的CIO集体之问》。报告指出企业AI落地困境，如数字人认知混沌、知识库建设难等，探讨十大经典问题，为企业提供思考方向。
用 AI Coding 工具生成 60 万字奇幻世界设定的实践记录
作者先尝试用 Python/C# 编排 LLM 调用生成小说世界设定，遇节点信息查看、输出形态等问题。后用 AI Coding CLI，经搭建骨架、基础层展开等阶段生成 60 万字奇幻世界设定，还基于此创作叙事。
千问模型预览版杀到全球第6，马斯克称中国将赢得地球上的AI竞赛！
LMArena更新榜单，阿里千问新旗舰预览版获1464分，全球排第六、中国第一。阿里在全球大模型实验室排第五，全球前十中有五家中国公司。千问3.5预览版表现出色，正式版值得期待。