「3-SAT问题」共找到 5042 篇相关文章
社区供稿 | Hugging Face x 北京中关村学院等机构联合发布生成式基因组大模型Carbon：一场关于“生命语言”的范式革命
北京中关村学院等联合发布生成式基因组大模型Carbon并开源。Carbon家族有三个版本，旗舰模型Carbon - 3B在多任务匹敌70亿参数的Evo2 - 7B，运行速度快275倍。它在数据、分词、训练上有创新，还实现技术普惠，有多种应用场景。
Kotoko AI 乔海鑫：C.Al 的故事已经结束，我们用 OC 链接 05后
本文是对Kotoko AI创始人乔海鑫的访谈。他认为OC市场潜力大，Gacha Life验证了其市场需求。Bside是融合UGC与游戏化玩法的OC社交互动平台，6月将在Steam新品节上线Demo，7月开启Early Access。乔海鑫还探讨了OC商业化、AI应用等问题。
有人每月烧掉1万美元！嫌Claude太贵，这家公司改用GLM：56张B200扛起2000名工程师，AI成本直降90%
Revolut 改用 56 张英伟达 B200 自托管智谱 GLM 模型，AI 推理成本直降约 90%，工程师编码时间缩短 60%。
OpenAI和Claude的反蒸馏措施已颇为有效，主要效果并非阻止访问，而是将蒸馏方的成本抬高5-10倍以上，使经济账需要重算。 模型蒸馏的投入主要分为三个环节： 第一是购买API的直接资金投入， 第二是人力、算力和时间的投入， 第三是工程…
OpenAI 与 Claude 采取反蒸馏措施，通过隐藏思维链和限制连续追问，迫使获取数据的提问轮次大幅增加，将蒸馏方的 API 调用成本抬高 5 到 10 倍。
从《持械入宋》破40亿，看AI漫剧的平权
由30名骑手、宝妈等制作的AI漫剧《持械入宋》播放量破40亿，红果收藏超1140万。主创54岁且无影视背景，通过线上流水线和统一角色建模跑出爆款。
GPT-6.1 Terra 半价上线
OpenAI 发布中端模型 GPT-6.1 Terra，标准 API 输入每百万 token 1 美元、输出 5 美元，较上一代降价 50%。
算力租赁要变天了
去年华尔街就算力巨头折旧问题起争议，大空头Michael Burry称其通过延长AI服务器折旧周期虚增利润。随着英伟达GPU迭代周期缩短，折旧时间应缩短。Coreweave靠出租GPU盈利，以其为抵押物的巨额贷款引发争议。Meta出租闲置算力或冲击Coreweave等公司。
打造4大“AI龙虾” 军团，才懂钉钉为何是企业数智化的最佳答案
企业数智化喊了多年却鲜有成功，多数企业面临技术门槛高、系统不通、数据孤岛等问题。把Copaw这个AI Agent接入钉钉，运行了写日报、商机搜寻、A股财报分析、电商数据整理分析四个案例，展现了钉钉平台化优势，是企业数智化有效解法。
奥特曼和Dario同台唱rap！Genspark新视频Agent上线，零基础也能拍短剧
Genspark 上线视频创作工作台 Media Studio，接入 20 多家厂商的 70 多个模型，覆盖剧本、生图、视频、音频到剪辑的全流程。
刚亮相就传被英伟达收购：Gemini 老兵团队凭什么还敢押注 Coding Agent？
本文是InfoQ编译的科技播客访谈，Reflection AI由前Google DeepMind Gemini团队成员创立，近期发布了5010亿参数的开放大模型Beam，主打编程、推理和智能体任务，发布一周后传出英伟达拟收购该公司的消息，访谈中分享了对开放模型诸多问题的观点。