「3-SAT问题」共找到 5042 篇相关文章
OpenAI被曝IMO金牌「造假」，陶哲轩怒揭内幕！
OpenAI高调宣称摘下IMO数学金牌，却被组委会内部人士爆料未与官方合作、无视规则提前官宣。菲尔兹奖得主陶哲轩暗指其成绩存疑，网友也不满其炒作。UCLA教授认为大模型短期难取代数学家。
Windsurf惊魂96小时！AI闪电并购战：谷歌天价挖人，Cognition逆袭接盘
7月，谷歌以翻倍薪资和24亿美金许可协议挖走Windsurf 40多位顶尖人才。周一，Cognition宣布收购其剩余资产和200来号员工。此前OpenAI收购谈崩，Windsurf还遇模型使用问题。
强化学习的两个「大坑」，终于被两篇ICLR论文给解决了
现有强化学习算法基于理想化交互模式，难应对真实环境。Mila 实验室两篇 ICLR 2025 论文提出实时强化学习框架，分别解决推理延迟和动作缺失问题，还可结合使用，对关键领域意义重大。
黄仁勋交流会万字实录：谈中美芯片、H20、CUDA兼容，点赞DeepSeek、Qwen和Kimi
英伟达CEO黄仁勋在华媒交流会上称，中国供应链发达、AI人才多、电动汽车发展出色，H20芯片解禁，英伟达会继续投资。他还谈到CUDA兼容、中美贸易等问题，鼓励年轻人投身AI。
小哥硬核手搓AI桌宠！接入GPT-4o，听得懂人话还能互动，方案可复现
国外小哥Matthieu Le Cauchois受皮克斯台灯机器人启发，手搓AI桌宠Shoggoth，接入GPT - 4o，能与人互动。它结构简单可复现，采用低级和高级控制层，策略经仿真和真实环境验证有效。
这个AI精准模拟人类行为大脑状态，上Nature了
德国团队开发出人类认知通用计算模型Centaur，登上Nature。它基于Llama 3.1 70B，用5天训练，参数仅Llama的0.15%，能模拟人类在160项实验中的行为，性能超传统模型。
微软开源新版Phi-4：推理效率暴涨10倍，笔记本可运行
今天凌晨微软官网开源Phi - 4家族最新版Phi - 4 - mini - flash - reasoning，它参数小性能强，适合边缘设备。采用自研SambaY架构，推理效率涨10倍，延迟降2 - 3倍，多场景测试表现优异。
突破全模态AI理解边界：引入上下文强化学习，赋能全模态模型“意图”推理新高度
在多模态大语言模型应用多元的当下，对模型理解人类意图需求迫切。阿里巴巴通义实验室团队推出HumanOmniV2，解决现有推理路径问题，其相关代码等开源，在多基准数据集成果突破性领先。
VLA爆发！从美国RT-2到中国FiS-VLA，机器人「即知即行」的终极进化
2025年具身智能爆火，VLA模型成核心。从美国RT - 2到中国FiS - VLA，VLA硬核进化。谷歌、微软等有重要成果，中国智平方等企业也不断创新，FiS - VLA性能超现有方法，VLA正重塑机器人与人类交互未来。
彻底戳穿AI「失忆症」！超越OpenAI全局记忆，中国队开源LLM记忆操作系统
大语言模型有「记忆」缺失问题，国内顶尖团队打造出操作系统级AI记忆框架MemOS并开源且可商用。它将「记忆」升为「一级资源」，用MemCube封装记忆，评测显示性能优于OpenAI全局记忆方案。