「3-SAT问题」共找到 5039 篇相关文章
AI有味觉了：分辨可乐和咖啡，只需“尝一尝”丨Nature
近日，科学家研发出基于石墨烯的人工味觉系统GO - ISMD，能模拟人类味觉反应，感知酸、甜、苦、咸准确率达90%，还能分辨可乐和咖啡，相关研究登《Nature》官网，有望助神经疾病患者重获味觉。
VLA 推理新范式！一致性模型 CEED-VLA 实现四倍加速！
近年来，VLA模型成机器人领域重要研究方向，但推理速度受限。本文提出一致性蒸馏训练、混合标签监督机制及提前退出解码策略，在多基线模型上实现超4倍推理加速，实验验证其高效通用。
腾讯AI Lab 提出解耦推理新框架，破解IMO 数学难题
腾讯AI Lab梁振文和宋林峰提出“解耦推理与证明”框架，解决当前大语言模型在自动化定理证明领域“思考”与“证明”能力失衡问题，成功解决5道IMO难题并开源成果。
小扎开价14亿让他换个地方打工，库克连挽留尝试都没有
苹果基础模型团队负责人庞若鸣跳槽Meta，原因是扎克伯格给出约14亿人民币薪酬包。Meta为挖顶级AI人才不惜重金，其超级智能实验室薪资远超正常水平，引发内部文化争议。
4倍无损压缩Diffusion，6倍加速！仅需时间特征维护 | TPAMI'25
扩散模型时间特征对量化敏感，现有量化方法会致其扰动，影响图像质量。港科大等多校团队提出TFMQ - DM框架，优化时间特征相关模块，提升低比特量化性能，实现硬件加速。
刚刚，马斯克发布Grok 4！全榜第一，年费飚到2万+
北京时间中午，马斯克现身 xAI 发布会发布 Grok 4，称其是世界最好的 AI。Grok 4 推理能力强，多类基准测试成绩领先，还在多方面能力获加强，已上线但付费昂贵。
开源多模态大模型EarthMind，观测地球统一框架
地球观测数据复杂，现有多模态模型难适用。意大利、德国多所高校研究人员联合开源多模态大模型EarthMind，引入空间注意力提示模块，实现跨模态融合和多粒度理解，解决地球观测难题。
「谷歌搜索」过时了！10秒KO，ChatGPT秒解五年医学谜团
一位患者下巴疼痛咔咔声五年未解决，求助ChatGPT，它几秒给出建议，患者练习一分钟症状缓解。此案例引发关注，展现其解决实际问题潜力，还体现人们与AI互动方式的变化。
Sam Altman 对Meta 的AI人才挖角行动作出回应：「传教士将战胜佣兵」。
Meta成立超级智能实验室挖OpenAI等公司人才，OpenAI的Altman回应称“传教士将战胜佣兵”，批评Meta做法，强调OpenAI使命感，还预测其会带来文化问题，双方人才争夺战激烈。
谷歌又来砸饭碗！免费AI Agent发布，程序员狂喜
昨天谷歌发布免费开源的AI Agent Gemini CLI，可在电脑终端运行。它定位为开源AI Agent，能理解任务、制定计划和调用工具。免费额度慷慨，能力不限于编码，上手简单，但刚发布存在不稳定情况。