「3-SAT问题」共找到 5032 篇相关文章
谷歌AlphaEvolve太香了，陶哲轩甚至发了篇论文，启发数学新构造
著名数学家陶哲轩与 Google DeepMind 研究人员发表论文，展示谷歌 AlphaEvolve 作为工具可自主发现新数学构造，该系统结合 LLM 与进化计算，在多领域问题上表现出色，还能与其他 AI 工具结合。
机器狗翻了个身，国产GPU往前走了坚实一步｜甲子光年
5月18日摩尔线程发布会上，机器狗“小飞”侧空翻，是业内首次基于国产硬件仿真平台训练、国产端侧芯片部署并真机验证。该司以全功能GPU打造国产具身智能基础设施，MT Lambda平台解决多方面问题。
0成本升级，快手OneSearch-V2全量上线，生成式搜索进入「懂你」时代
快手技术团队在 OneSearch 基础上推出 OneSearch-V2 框架，解决电商搜索复杂查询理解不足等问题。该系统全量上线，不增成本与时延，业务收益显著，还缓解信息茧房与长尾稀疏问题。
阿里“闪电战”再发力，这次是千问APP
阿里在AI领域影响力大，Qwen3-Max模型能力强，开源模型Qwen3-235B在Lmarena上开源第一。新发布的千问APP成Qwen模型第一入口，功能丰富免费，体验佳，是同类产品劲敌。
Python新版本去GIL刷屏，Karpathy 点赞敢死队，Python 之父：冷静，别神话并发
Python 3.14 正式发布，将“去 GIL”写进官方发行版，带来自由线程支持等能力，预估性能提升 3% - 5%。开发者看好，Karpathy 点赞，但 Python 之父认为去除 GIL 重要性被高估，强调工程常识。
英伟达半数打工人身家过亿！难怪离职率低
一份调查显示英伟达约半数员工身家超2500万美元，超78%超百万美元。管理层富翁数字更惊人，公司离职率仅3.7%。其造富源于员工持股和限制性股票计划，近期又宣布芯片量产。
龙虾更新出了大bug，12小时内紧急发新版
龙虾火速更新到OpenClaw 2026.3.23版本，距3.22版本仅12小时。此次更新光速修复UI崩溃，接入DeepSeek和Qwen家族，完善插件API兼容性，还在UI、模型、安全等方面有改进。
科普向：一文解构大模型后训练，GRPO和它的继任者们的前世今生
文章深入解读大模型后训练，先对比 PPO 与 GRPO，指出 GRPO 优势及成本问题。又介绍 GRPO 后续改进算法，如 DAPO 解决训练问题、GSPO 提升训练稳定性、GFPO 可优化多属性，还提及 GRPO 其他缺陷。
Meta「轻量级」KernelLLM颠覆GPU内核生成，8B参数碾压GPT-4o
Meta推出基于Llama 3.1微调的8B参数KernelLLM，能将PyTorch代码转高效Triton GPU内核。实测单次推理性能超GPT - 4o和DeepSeek V3，多次生成得分更高，让内核开发更易上手。
清华等发布UltraRAG 2.0，仅用50行代码解锁RAG高性能开发
大语言模型存在“知识截止”问题，RAG技术应运而生，成为大模型落地主流方案。但随着需求提升，其工程实现变复杂。清华等推出UltraRAG 2.0，仅50行代码实现同等功能，降低开发门槛，性能提升，还能落地多种场景。