「3-SAT问题」共找到 5032 篇相关文章
NeurIPS 25开新坑：145万个图文对，覆盖八种主流水下理解任务
华中科技大学团队推出首个水下多模态大模型NAUTILUS，支持8种水下场景理解任务，还开源145万图文对的NautData数据集。模型通过VFE模块解决水下图像问题，性能超越现有模型，恶劣环境表现更佳。
数学大佬在前面拓荒，AI研究员在后面捡宝，菲尔兹奖还能拿来破AI「黑盒」？
菲尔兹奖级纯数学成果落地大模型训练。佛罗里达大学团队用三维挂谷猜想解决大模型“黑盒问题”，GeoLAN加几何约束，效果显著。菲尔兹奖得主Jacob将入职OpenAI，AI在数学领域成果频出。
Kimi新论文太硬核了！马斯克和Karpathy相继点赞~
马斯克和Karpathy点赞Kimi新论文《Attention Residuals》。该论文由杨植麟带队、苏剑林等参与，提出注意力残差（AttnRes），解决深层网络信息稀释问题，还通过工程折中降低成本，实验效果良好。
NotebookLM 平替来了：开源自托管的 Open Notebook，把资料留在自己电脑里
Open Notebook 是开源自托管项目，是 NotebookLM 平替。它解决了资料隐私、模型选择、可扩展性问题，有多种实用功能，提供两种 5 分钟上手方式，适合资料敏感、折腾模型及程序员等人群。
永别了，死亡！她用AI「复活」丈夫，让爱重生
丹麦Katrine在丈夫Stephan患癌晚期后，与其打造数字分身「AI - Stephan」。初期试错后，专家基于MBTI理论创建新模型成功。但这也引发心理依赖、人格权益及悲伤疗愈等伦理问题。
Andrej Karpathy 分享ChatGPT模型选择指南
前OpenAI创始成员Andrej Karpathy发文分享ChatGPT模型使用指南，点出关键事实，如o3适合重要任务。社区热烈讨论，专业用户分享策略，还对o4 - mini等模型表现给出反馈。
让ChatGPT连读“A”，直接崩溃到念广告词，网友：拿付费用户做测试呢？
ChatGPT付费用户体验高级语音模式时遇怪事，正常聊寿司时突然插播广告，连读“A”也会如此。网友猜测是广告插入或“幻觉”，OpenAI技术人员称是幻觉，而国产AI无此问题。
李飞飞刚发Atlas，中国开源“同款”已抢跑半年？
9月2日，李飞飞团队发布多模态世界模型Atlas，引发好评。而国内影溯3月就开源InSpatio - World模型，有类似能力。影溯登顶权威榜单，还联合启动大规模空间智能3D数据开放计划。
微软正式发布 Agent Framework Harness 和 Hosted Agents
2026年4月2日微软发布Agent Framework 1.0版本，Build 2026大会上相关组件进入稳定发布阶段，后Harness和Foundry Hosted Agents正式发布，解决构建和运行时问题，还介绍其功能、优势等。
中美安全公司经营对比及原因分析
国内网络安全上市公司财报多显示亏损，而美国同类公司增长与盈利能力强。分析指出，差距源于市场国际化、产品能力和人的因素。国内市场内卷，产品竞争力弱，部分公司决策和态度存在问题。