最新发布第7页
排序
施耐德31亿美元买下Cognite后,工业AI进入并购兑现期
施耐德电气收购Cognite,让工业AI从概念验证走向软件整合和规模交付。真正的竞争不只在模型能力,而在工厂数据、现场流程和企业长期运营效率。
APIporter:一个接口接通主流AI模型,按量付费告别官方高价与封号焦虑
Claude 4.7、GPT 5.4、Gemini 3.1 等主流模型正价贵、限制多、封号风险高?APIporter 提供统一接入、按量付费、稳定高并发的替代方案,一个接口即可调用主流最新 AI 模型。
可灵AI拟独立融资,视频生成赛道从模型演示走向商业化硬仗
可灵AI传出分拆融资消息后,视频生成赛道的重点正在从演示效果转向收入、成本、工作流和企业交付。Codex用例库、Cerebras IPO与AI原生服务投资热,也共同说明AI竞争正在进入商业化硬仗。
HRM只花1500美元跑出推理成绩后,小模型竞争开始重估训练成本
Sapient发布1B参数HRM-Text模型,以约1500美元训练成本在推理任务上取得亮眼表现,AI模型竞争正在从单纯堆参数转向架构效率、运行成本和系统交付。
Google Gemini 持续更新多模态能力,搜索、办公与 AI 助手边界进一步模糊
Gemini 正在进入更多入口 Google Gemini 持续更新多模态能力,正在让搜索、办公软件和 AI 助手之间的边界进一步模糊。过去用户使用搜索是为了找到网页,使用办公软件是为了处理文档,使用 AI 助...
AI不再只会生成:382个软件漏洞与82500个电子模拟背后的验证革命
AI正在进入可验证的生产环节:形式化验证发现深层软件漏洞,量子化学模拟大幅降低计算成本,医疗与工程应用也开始用可复核结果衡量价值。













