「3-SAT问题」共找到 5042 篇相关文章
【DeepSeek-OCR系列第一篇】Language Modelling with Pixels【ICLR23】
当前主流语言模型依赖固定词表，扩展到多语言、多脚本时面临覆盖受限、计算昂贵、鲁棒性差等问题。ICLR 2023论文提出不依赖词表的PIXEL模型，通过将文本变成图像用视觉Transformer理解，实验验证其有跨语言、抗噪声等优势。
只要强化学习1/10成本！翁荔的Thinking Machines盯上了Qwen的黑科技
新智元报道，翁荔的Thinking Machines研究同策略蒸馏策略，能以1/10强化学习成本，结合同策略训练优势与密集奖励信号。该策略受DAGGER启发，扩展Qwen3团队工作，可在Tinker复现，还能用于个性化和持续学习。
P图老本事搭上了对话框，美图这AI Agent到底香不香？
本文对美图AI Agent RoboNeo进行实测。它web端操作简单，生图和p图功能丰富，拆分图层功能好用，工作流能辅助创作。不过它生成速度慢，视频生成有画面逻辑、文字生成等问题。其开发节奏快。
OpenAI的Atlas，全网都没有提到的产品细节在这
作者本期待Gemini 3，结果体验Google AI Studio产品后觉得拉胯。此时OpenAI发布Atlas，作者体验后细节感满满，将其设为默认浏览器。文中介绍了Atlas负责人履历及诸多用户体验细节，也指出其功能尚不完善。
“最美产品经理”宋紫薇，创业AI硬件首款产品曝光
前vivo「最美产品经理」宋紫薇AI创业细节曝光，其创立的薇光点亮瞄准AI化妆镜赛道。智能化妆镜并非新事物，此前存在不够智能、价格贵等问题，而AI赋能或让玩法升级，还能探索新商业模式。
Thinking Machines 发布第二篇博文：用模块化流形让训练更加稳定高效
Thinking Machines实验室发布第二篇Connectionism研究文章，提出模块化流形理论框架，通过在权重矩阵施加流形约束让神经网络训练更稳定高效。文章从几何角度思考优化问题，提出流形Muon优化器，还探讨了模块化流形扩展到大型网络的方法。
ChatGPT新功能，又干掉一批创业项目
ChatGPT推出新功能分支对话，点击按钮就能在原对话基础上岔话题。此前不少创业公司主打此功能，如T3.chat。该功能已上线，对团队协作有用，网友提改进建议。此外，“项目”功能也免费开放，不同用户文件上传限制不同。
百度造了个“AI星舰”？或成业界最完备的企业级AI平台
在2025百度云智大会上，百度智能云千帆企业级AI开发平台发布4.0新版本，核心聚焦Agent。它一站式提供开发所需能力，解决模型选型、数据盘活等难题，还有RFT工具链降精调门槛，“白盒化”助问题诊断。
当AI接管70%代码审查工作，剩下的30%才是 “地狱模式”
2024年初“Vibe Coding”成热词，其虽能快速验证想法，但在大型企业项目中“不可控性”凸显。亚马逊云科技研发的Kiro，尝试解决“从提示词到生产”的断裂问题。目前代码审查多采用混合模式，AI仅处初级阶段。
4 个月狂飙 22k Star，这本书凭什么？
Github上超火的开源项目《LLMs-from-scratch》中文版4月上市，4个月涨超22k Star。作者实操搭建类GPT - 2模型，涵盖大模型构建全流程。用PyTorch开发，代码少且有注释，对初学者友好，豆瓣评分9.3。