「3-SAT问题」共找到 5032 篇相关文章
DeepSeek R1/V3作者开源轻量级vLLM，1200行代码读懂大模型推理技术！
DeepSeek R1/V3作者俞星凯开源轻量级vLLM——Nano - vLLM。它有快速离线推理、代码可读、含优化套件等特性，还给出了RTX 4070等硬件和Qwen3 - 0.6B模型的基准测试配置。
中国黑马狂赚3亿美金！国内AI应用断层第一，估值20亿美金
演语科技完成近3亿美元B+轮融资，投后估值超20亿美元。其ARR超3亿，构建起业务闭环。旗下LibTV、LiblibAI和星流表现出色，创始人陈冕布局生态，演语已成全球第一梯队玩家。
有了它，太丝滑啦，5.3k Star ai-memory！！！
Claude Code 与 Codex 切换时需重述项目情况，5.3k Star 的 ai-memory 解决此问题，它将 Agent 生命周期信息整理成可 Git 管理的 Markdown Wiki，提供可审计的交接班机制。
SIGGRAPH Asia 2025：摩尔线程赢图形顶会3DGS挑战赛大奖，自研LiteGS全面开源
12月17日，在SIGGRAPH Asia 2025上，摩尔线程凭自研LiteGS获3DGS重建挑战赛银奖。3DGS是下一代图形渲染技术，有巨大潜力但训练耗时久。摩尔线程开源LiteGS，实现全链路协同优化。
AI 找到了六个 Erdos 数学问题，陶哲轩：AI + 人类专家才是真正改变科学研究的方式
菲尔兹奖得主陶哲轩分享，AI 在 Erdos 问题网站实验中，帮数学家发现六个原本标记为「未解决」的问题其实已被解决。他认为 AI 有价值的应用是处理枯燥日常工作，如文献搜索。
DeepSeek 官宣V3.1：迈向 Agent 时代的第一步！
DeepSeek 官宣发布 V3.1，称这是迈向 Agent 时代第一步。其有混合推理模式，Agent 能力全面进化，API 也全面升级，支持 Anthropic API 格式。还继续开源，9 月 5 日起调整价格，社区反响热烈。
混元3D世界模型1.0 lite版本发布，消费级显卡就能跑
腾讯混元3D世界生成模型HunyuanWorld 1.0发布即开源，可在消费级显卡运行，还能兼容传统CG管线。它分层实现3D生成，通过量化等技术降低显存开销，与同类模型相比优势明显。
AI5芯片搞定，马斯克的纯自研超算Dojo 3又回来了
马斯克宣布AI5芯片设计进展顺利，特斯拉将重启Dojo 3工作。Dojo项目定位为面向机器学习训练的超算，此前曾暂停。如今Dojo 3将集成AI5或AI6芯片，有望助力特斯拉摆脱对英伟达依赖，自建算力体系。
谷歌Veo 3.1更新：更一致性、更具创造力和控制力
谷歌Veo 3.1发布更新，实现角色、背景与物体在动态场景中的高度一致性，支持基于参考图片创建视频、原生竖屏模式及1080p和4K分辨率升频，精准控制素材，提升创作体验。
LiblibAI 母公司完成近 3 亿美元融资：AI 应用层开始进入「收入说话」的阶段
近日，演语科技披露近3亿美元B+轮融资，投后估值超20亿美元。其旗下有LiblibAI、LibTV、星流等业务，已构建AI创意内容生产应用矩阵。截至2026年5月，ARR达3亿美元，收入年同比增超3000%。