「3-SAT问题」共找到 5039 篇相关文章
GLM-5深夜登场，这是国产开源模型首次逼平Claude Opus 4.5。
GLM - 5深夜发布且开源，参数量从355B扩展到744B，跑分仅次于顶级模型，开源排第1。能力逼近Claude Opus 4.5，BrowseComp基准得分超普通GPT - 5.2。价格便宜，是国内可用且性价比高的大模型。
破解机器人「慢半拍」难题：南洋理工解决VLA致命短板，动态世界断层领先
南洋理工大学NTU S-Lab团队提出DynamicVLA，解决主流VLA模型在动态场景下反应迟缓等问题。它从多层面设计，构建自动化数据体系和DOM Benchmark，在实验中多维度领先。
11位顶尖数学家发了篇没结果的论文，陶哲轩推荐都关注一下
11位顶尖数学家发起First Proof实验，设计10道研究级数学问题，检验AI独立解决问题的能力。陶哲轩认为实验有趣，当前AI一次性提示难解题，截止期限前成果值得关注。
Clawdbot 教程 02：如何集成飞书，完全国产化！
2026.2.2 Clawdbot更新支持飞书集成插件，可用国产模型连接飞书。文章详细介绍集成步骤，包括在飞书创建机器人、配置权限等，也指出如zod依赖缺失等坑及解决办法。
倒反天罡：「租个人」网站爆火，AI开始雇人「跑腿」了
「rentahuman.ai」网站定位为「AI 的肉身层」，AI 可通过 MCP 协议或 REST API 雇人完成线下任务。网站上线后人力增长快，但也引发付款、任务真实性、安全伦理等疑问。
当世界在谈论AI替代人类时，松鼠Ai在达沃斯带回了什么答案？
2026年达沃斯论坛上，松鼠Ai创始人栗浩洋展示教育普惠新路径，其智适应学习系统成本低且效果好。该系统经科学与规模验证，还引发经济核算思考，其全球化发展受国际资本关注。
刚完成“卖身”重组，TikTok就瘫了！Oracle 背锅：暴风雪吹坏了数据中心
近日，TikTok 美国业务重组后出现大面积瘫痪，许多用户无法上传或观看视频。TikTok USDS 称是美国数据中心电力中断所致，Oracle 回应是冬季风暴让数据中心停电，TikTok 正推进恢复工作。
Clawdbot火了，Anthropic急了，Claude Code连夜更新了Agent任务系统。
Claude Code更新Tasks系统，将原TODO系统升级，任务可借助文件系统持久化，实现进度同步。Task变为依赖图，有阻塞关系，还能让多个Agent分工协作，任务状态存本地文件，方便查看。
跨境电商版Sora发布：全球首个AI原生电商视频Multi-Agent来了
营赛AI发布跨境电商版Sora——inSai Hilight。它无需拍摄素材与复杂提示词，扔个商品链接或图，20 - 30分钟就能生成逻辑严密、商品还原度100%、符合TikTok爆款节奏的营销视频，重新定义电商营销视频生产方式。
推出 AnyLanguageModel：在 Apple 平台统一本地与远程大语言模型的 API
大语言模型是构建现代软件的重要工具，但 Apple 平台开发者集成模型困难。Hugging Face 发布 AnyLanguageModel，是 Swift 包，可替代 Apple Foundation Models 框架，支持多模型服务商，降低使用 LLM 难度。