「3-SAT问题」共找到 5032 篇相关文章
腾讯提出Vision-SR1：让模型真正学会“看图思考”，而不是“蒙答案”
视觉语言模型（VLMs）存在视觉幻觉和语言捷径问题，限制其可靠性和泛化能力。腾讯提出Vision - SR1训练方法，通过推理分解和自我奖励机制，不依赖外部监督，提升模型视觉感知和推理可靠性。
大模型自信心崩塌！谷歌DeepMind证实：反对意见让GPT-4o轻易放弃正确答案
谷歌DeepMind携手伦敦大学研究发现，GPT - 4o、Gemma 3等大语言模型有“固执己见”和“被质疑就动摇”并存的冲突行为，原因与训练、决策逻辑、记忆机制有关。研究还通过两轮实验证实。
马斯克造了个AI女友
马斯克新推出Grok的AI Companions功能，有AI女友Ani等角色。不过需Super Grok会员，每月30美元，且仅iOS可用。AI陪伴赛道不太平，有付费和平台安全等问题，马斯克还有新计划。
Karpathy最新脑洞「细菌编程」：优秀的代码应该具备细菌的三大特质
大神Karpathy提出“细菌编程”新概念，代码要有小而精、模块化、自包含且易复制粘贴的特点，让开源社区发展。他还提出过“软件3.0”“氛围编程”等概念，这些脑洞或成未来编程范式信号。
首批GPT-6内测结果好离谱啊。。。
GPT - 6使用资格分批开放，内测玩家抢先体验。其在3D生成、游戏开发、网页制作等多领域表现出色，如15分钟做出Mac应用，空间推理达世界级水平，但运行时Token消耗大。
Meshy用户破千万后杀向新战场：ARR年翻14倍，头部厂商集体买单
Meshy是计算机图形学大神胡渊鸣创立的AI 3D公司，其创意工坊打通“AI创意→实体交付”。Meshy生成模型打印适配度高，破圈至多元领域，注册用户破千万，ARR年翻14倍，获多轮融资。
AI 正在毁掉开源：从“协作圣地”到“垃圾洪水”，维护者士气跌至谷底，开始集体掀桌
AI Slop正破坏开源开发中维护者与贡献者的社会契约，贡献数量使系统不堪重负。文章探讨AI Slop时代开源现状、维护者应对方式，还提及基金会政策、极端选项、激励问题，并给出最终建议。
做RAG这一年，最后悔的就是上知识图谱
基于知识图谱的检索增强生成在问答任务中存在三元组索引丢失上下文语义问题，作者提出MDER - DR双阶段框架，在标准测试和特定数据集上性能提升最高66%，还具备多方面优势。
全网破防，AI「手指难题」翻车逼疯人类！6根手指，暴露Transformer致命缺陷
最近网友被AI「手指难题」逼疯，给AI六指手，它始终无法数对。GPT - 5.2、Nano Banana Pro等均翻车。此问题揭露当前模型思考机械、割裂等缺陷，也凸显Transformer架构弱点。
清华紧逼谷歌，AI顶会NeurIPS论文数第二！中国占半壁江山
NeurIPS 2025呈现前所未有的撕裂感，清华大学以微弱差距逼近谷歌。中国AI完成从数量堆叠到底层架构创新的「质变」，阿里千问团队获最佳论文奖，中国学者因签证问题有了墨西哥城卫星会场。