「3-SAT问题」共找到 5042 篇相关文章
00后以1.1亿美金「掀桌」，硅谷AI将书写影视新传奇 终结制片旧时代
00后Cecilia Shen创立的Cybever转型为AI原生影视工作室Utopai Studios，首年获1.1亿美元收入。其技术经四个阶段进步，能生成高质量3D虚拟环境，还带来两部大剧，有望改变影视行业格局。
字节开源图像生成“六边形战士”，一个模型搞定人物/主体/风格保持
字节UXO团队设计并开源统一框架USO，解决图像生成多指标一致性问题。它能统一看似孤立任务，实现单任务和组合任务的SOTA，弥补了主体保持和风格迁移短板，性能领先，还采用新范式及算法。
智谱 GLM-4.5 团队深夜爆料：上下文要扩、小模型在路上，还承诺尽快发新模型！
今日凌晨，GLM系列模型四位研发成员在Reddit的AMA活动中，回答了GLM系列技术细节、未来规划等问题。透露扩展上下文、推小模型是重点，还承诺尽快发新模型，也探讨了大模型发展观点。
AI云的大考来了：企业要的不再是参数，而是盈利 | 甲子光年
历经3年大模型热潮，AI云市场提问改变，企业更关注平台模型实用性和故障恢复能力。百度云智大会聚焦新一代智能基础设施与平台升级，其智能云连续六年排名第一，此次升级回应企业落地AI的核心问题。
OpenAI/微软争夺AGI控制权！重组谈判激烈，年底谈不成软银700亿或撤
OpenAI与微软就重组问题谈判胶着，核心在控制权与确定性，如多云是否松口、微软能否获取训练细节、AGI条款去留。这影响微软持股价值和软银投资，年底是关键节点，若重组未完成，软银或撤回100亿美元。
创始人跑路一年后，员工接盘把这家AI公司干到年入破亿！如今想含泪甩卖：真的“难以承受”
曾红极一时的AI聊天机器人公司Character.AI，在创始人跑路一年后，员工接管并聘请新CEO，业务有进展，预计年底年化收入达5000万美元，但运营成本高，还面临融资、竞争、监管等问题，正权衡出售或融资。
谷歌Gemini一次提示能耗≈看9秒电视，专家：别太信，有误导性
谷歌报告称处理一个中位数的Gemini文本提示能耗低，2024 - 2025年单个文本提示能耗降33倍、碳足迹减44倍，归功于全栈式优化。但专家质疑其方法论，指出未算间接用水、碳排放核算不全等问题。
上线8个月、ARR破亿美元，45人团队每天支持用户构建 10 万个项目！CEO分享用人秘籍：高薪员工不一定是万金油
Lovable上线8个月ARR破亿美元，活跃用户超230万。CEO Anton Osika做客节目，探讨AI人才招用、品牌建设等问题，认为人才第一、品牌第二，还分析了竞争态势及收入构成，80%收入来自构建复杂应用程序的用户。
Claude 小升级就赢了OpenAI 9年“开源神作”？高强度推理直接歇菜、幻觉率高达50%，写作还被Kimi 2吊锤？
OpenAI发布首个开源语言模型系列gpt - oss，包括gpt - oss - 120b和gpt - oss - 20b，可在Hugging Face下载。同期谷歌、Anthropic也有新模型推出。gpt - oss有亮点，但也存在幻觉率高、实测效果差等问题。
刚刚，小红书开源了首个多模态大模型dots.vlm1，性能直追SOTA！
小红书人文智能实验室（hi lab）低调开源视觉语言模型dots.vlm1。该模型基于自研视觉编码器构建，在视觉理解和推理任务上接近SOTA水平，实测表现惊艳，还介绍了其技术架构、预训练数据布局等内容。