OpenAI 按用户需求在 ChatGPT 推出全新 GPT-4.1 及其 mini 与 nano 版本，专注提升编程、指令理解与长文本处理能力，免费及付费用户均可体验。

CoIn是马里兰大学研究团队开发的创新框架，旨在解决大型语言模型商业API不透明计费问题。这些API隐藏推理过程只显示最终答案，却仍对所有"看不见"的令牌收费。CoIn通过令牌数量验证和语义有效性验证两大组件，使用户能够审计隐藏令牌而不暴露专有内容。实验表明，即使面对复杂攻击，CoIn的检测成功率高达94.7%，为商业AI服务提供了前所未有的计费透明度。

10月15日，华为云举办了“华为云专属月·行业深耕”发布会，开启了2021年的专属月行动。其中包括1.3亿元上云津贴，为互联网企业，特别是电商、游戏、移动出行行业提供多类型、多组合、高频场景的专属商务政策等云产品及服务，成为互联网企业连接未来的桥梁。

SAP宣布重组董事会，提拔39岁的Sebastian Steinhauser为新任董事会成员，负责新成立的战略与运营部门。此次重组旨在推动SAP的"AI优先、套件优先"战略，简化公司流程，并加强客户和合作伙伴的数字体验。同时，SAP还任命了新的首席技术官和两位首席收入官，以进一步推动公司的技术创新和业务增长。

昆腾公司宣布AutonomouStuff公司成为其在汽车市场进行存储分销的主要合作伙伴。AutonomouStuff的产品正在从以数据中心为核心的数据分析延伸到车载加固SSD存储。

教育行业解决方案、端到端的桌面云软硬件一体化解决方案

这篇研究介绍了"量化LLM评价者"，一个创新框架，能使大型语言模型(LLM)在评估其他AI输出时更接近人类判断。由麻省理工和Adobe联合研发的这一方法，将评估过程分为两个阶段：先让LLM生成文本评价，再用轻量级机器学习模型将这些评价转化为更准确的数值评分。研究提出了四种评价者模型，适用于不同评估场景，实验表明它们不仅能显著提高评分准确性，还比传统微调方法更节省计算资源。这一框架特别适合人类反馈有限的场景，为AI评估领域开辟了高效且可解释的新路径。

总部位于达拉斯的初创公司Databahn成立于2023年，专注于通过AI智能体分析大量日志遥测数据来诊断安全威胁。该公司开发了Cruz AI智能体，可自动化处理日志发现、数据规范化、转换优化等流程。公司推出Reef产品来摄取PB级日志数据，实时过滤和优先处理高价值数据。近期获得1700万美元A轮融资，总融资额达1900万美元，将用于开发自主智能体和全球扩张。

想象一下，当你在解答一道复杂的数学题时，你不仅需要给出答案，还需要详细解释每一步推导的理由，不能有任何逻辑跳跃或假设——这就是形式化数学推理的严格要求。

在疫情防控的特殊时期，你是否习惯了这种不一样的“宅生活”？春节过后企业开始逐渐复工，很多企业都选择了远程办公的方式开启工作。

在产业级人工智能应用领域，北京飞搜科技已经取得了一些成绩，在安防领域、金融领域，智慧园区领域、公共安全领域、电信领域以及移动互联网领域都有落地项目。

日前，Arm宣布与中国联通旗下联通物联网有限责任公司（以下简称“物联网公司”）的合作取得了最新进展，Arm已成功部署基于Arm Pelion设备管理平台与Mbed OS操作系统所打造的全新物联网平台，加速推进和完善中国物联网生态发展。

2022年11月2日，中国上海，Ambarella（下称“安霸”，纳斯达克股票代码：AMBA，专注于AI视觉芯片的半导体公司）的CV3 AI域控制器SoC系列在2022年电子工业奖中被授予年度汽车产品奖，并在年度半导体产品类别中获得高度赞扬。

这篇研究来自丹麦奥尔堡大学的团队，探讨了大语言模型的推理过程如何影响事实准确性。研究者通过从高级推理模型中提取思考轨迹，并用知识图谱增强这些轨迹，然后对不同规模的模型进行微调并在六个数据集上测试。结果表明，对小型模型而言，长推理过程显著提高事实准确性；而增加测试时计算资源（如并行采样或增加令牌预算）可使准确率提高2-8%。研究发现约2K令牌长度的推理效果最佳，为提升大语言模型事实准确性提供了新思路。

索系统（巴黎泛欧证券交易所：#13065, DSY.PA）近日宣布完成收购No Magic公司，这是一家全球性解决方案公司，专注于基于模型的系统工程、软件架构建模、系统之系统以及企业业务流程建模。

近日，小米公司联手北京时代美术馆推出重磅科技艺术大展，利用天文物理学常见的“超级对撞”原理，比喻科技与艺术的再次对撞、裂解与融合，并命名为：“小米·时代艺术科技大展：超级对撞Xcelerator”。

谷歌公司日前推出可抢占式GPU（Preemptible GPU）， 谷歌称抢占式GPU对于在公有云里运行人工智能项目的机构来说是一种更实惠的方式。

根据IBM公司于去年10月发布的预期报告显示，其2017年第四季度营收增长了4%，终于结合了最近五年半以来年销售额持续以15%比例下降的魔咒。本季度225亿美元营收略高于华尔街作出的220.5亿美元预期。

Earth AI 公司利用人工智能技术，在澳大利亚长期被忽视的地区发现了重要矿产资源。这一发现表明，人工智能结合实地数据分析将成为未来关键矿物勘探的重要方式。该公司通过创新算法和自主开发的钻探设备，正在改变传统保守的矿业勘探模式，大大缩短了矿产发现的周期。

杜克能源技术和数字化部门负责人是首席信息官Bonnie Titone，她领导的数字化转型致力于提供更加分散、智能和移动的清洁能源系统，转型核心是名为Lighthouse的项目。