「3-SAT问题」共找到 5032 篇相关文章
1.3亿美元！LiblibAI拿下国内AI应用赛道年度最大融资
2025年，AI应用公司LiblibAI完成1.3亿美元B轮融资，由红杉中国等联合领投，老股东超额增持。这是今年国内AI应用赛道最大融资，标志投资热点转向应用层。该平台有独特生态，还将加速全球化布局。
网友兴奋了，重庆造了座“任意门”，3D元宇宙穿梭！
9月6日，重庆举办的2025世界智能产业博览会上，“梦界空间”作为“百项全球首发”项目发布。该3D+AIGC元宇宙项目由重庆广电、璧山区政府与元境联合推出，以可落地形态呈现，构建起庞大生态。
Kimi K3设计榜登顶焚诀公开：就藏在思维链里
Kimi K3在Design Arena单次生成前端榜单中夺冠。它做前端设计审美一流，靠独特思维链反复迭代优化方案，还具备强大数据索引能力。不过上线48小时因算力不足叫停新订阅。
提前实测Opus 5：3D细节封神，然而有一个致命缺陷
全网苦等Opus 5，结果其暂缓发布，理由是怕威胁人类对高级AI的控制，遭网友怒批。部分开发者提前实测，它3D细节表现出色，但耗token且看图测试翻车，原定有诸多强大特性。
苹果再发论文：精准定位LLM幻觉，GPT-5、o3都办不到
近日苹果发布重磅论文，提出 RL4HS 方法，用强化学习训练模型，能准确标出答案中幻觉部分，还使用片段级奖励和类别感知的 GRPO，在片段级幻觉检测任务上超 GPT - 5 和 o3。
医疗AI平台Abridge获3亿美元，估值53 亿美元
医疗AI平台Abridge获3亿美元E轮融资，估值达53亿美元。其利用AI为医疗场景服务，核心功能“环境监听”可生成临床笔记。目前超150家医疗系统使用，正拓展收入周期管理等业务。
Opus 5通关ARC-AGI-3！Harness正在变成捆住模型的绳子
ARC Prize官方给Opus 5的ARC - AGI - 3成绩为30.2%，但开发者Jeremy Berman让其借助电脑，正确率飙升至96.2%。还开源代码，换用Codex等测试效果差。表明模型强时，简单环境更佳。
3亿用户的豆包，能做成办公生意吗？｜甲子光年
6月24日，豆包专业版上线，三档定价68元到500元，搭配新模型等功能。它从C端聊天产品转向办公工具，但面临用户心智难改、价格较高等问题，其推出也将影响行业格局，加速C端AI产品免费时代终结。
DeepSeek-V3.2正式版发布，将开源模型的能力推向极致
DeepSeek-V3.2正式版开源，包含标准版和Special版。它采用稀疏注意力机制，降低计算复杂度。后训练阶段有多项算法改进，支撑高难度推理。还融合思考与工具使用，合成训练数据，在智能体评测表现优异。
深度拆解 Gemini 3.8 Live：一句插话，为什么会牵动整个 Agent 系统
本文深度拆解Google发布的Gemini 3.8 Live，分析其将语音、推理、工具调用整合进持续运行链路的架构创新，探讨Voice Agent进入Runtime阶段的核心技术挑战与未来AI Agent发展趋势。