AI资讯

# Glassdoor报告：美国员工AI好评率降至43%，生成式AI加剧职场不满情绪 近日，知名职场社区Glassdoor发布的最新报告揭示了一个值得警惕的趋势：美国员工对人工智能（AI）在工作中的影...

数学自动形式化重大突破：OpenBMB开源MathForm，8B模型以实力逆袭大厂 # 背景与意义 数学形式化是将自然语言描述的数学命题、定理与证明转化为计算机可验证的严格逻辑语言（如Lean、Coq...

Waymo 首款完全自研网约车 Ojai 发布：搭载 Gemini，三屏各司其职 一、事件概述：从“改装”到“原生”的跨越 2025年3月，Waymo 正式发布了其首款完全自研的自动驾驶网约车——“O...

DeepSeek V4 Pro 上线硅基流动：百万 token 上下文窗口搭配三档推理选项，缓存命中价低至 0.44 美元/百万 token 事件概述 近日，DeepSeek V4 Pro 正式在硅基...

IDC发布《中国生成式AI安全评估平台报告》，蚂蚁数科位列领导者象限 近日，国际权威市场研究机构IDC正式发布《中国生成式AI安全评估平台报告》（以下简称“报告”）。该报告从技术能力、市场表现、生态建...

蚂蚁阿福发布医生端服务战略全景：从基层到三甲，做医生的AI得力助手 # 一、事件背景与战略定位 近日，蚂蚁集团旗下医疗AI品牌“蚂蚁阿福”正式发布了其医生端服务战略全景。该战略以“从基层到三甲，做医生...

Anthropic 以 AI 打造 AI：Claude 现已承担公司25%的研发任务 事件概述 近日，Anthropic 内部披露了一项颇具象征意义的进展：其旗舰模型 Claude 目前已经承担了公司...

OpenAI全面开源Codex Harness：AI编程智能体底层能力进一步放开 近日，OpenAI宣布将其代码生成模型评估框架 **Codex Harness** 全面开源。这一举措标志着AI编程领...

小米玄戒O100芯片登场：6nm制程与3D堆叠助力AI高速飞跃 一、发布背景与技术定位 小米近日正式推出自研芯片“玄戒O100”，标志着其在AI算力领域迈出关键一步。该芯片定位面向端侧AI推理与边缘计...

# LFM2.5 DSpark 草稿模型发布：推理速度提升 3.18 倍的技术路径与产业影响 近日，LFM 团队正式发布了 LFM2.5 DSpark 草稿模型，该模型在标准推理基准测试中实现了最高 ...