阿里全球数学竞赛诞生最年轻金奖得主；微软确认首席产品官离职；iOS 17 正式版发布-极客头条

一分钟速览新闻点！

• 华为否认与多国政府签署手机采购协议

• 第四范式宣布港交所上市计划

• 百度文心一言软件著作权获批

• 腾讯开源数据组件 Fast-Causal-Inference，可用于分布式向量化统计分析及因果推算

• 400 万元总奖金，2023 阿里全球数学竞赛诞生最年轻金奖年仅 17 岁

• 微软确认首席产品官离职

• 消息称 Open AI 即将推出多模态模型 狙击谷歌 Gemini

• 挑战 iPhone 王者地位 苹果 Vision Pro 来了：售价超 2.5 万

• 苹果发布 iOS 17 正式版，新增待机显示功能

• 波兰一公司聘请人工智能 CEO：24 小时待命，全年无休

• CNCF 基金会宣布 KCL 成为沙盒项目

• Unity 表示在重新考虑新收费模式

国内要闻

华为否认与多国政府签署手机采购协议

近日，有社交平台出现“俄罗斯、委内瑞拉、沙特等国向华为订购全新 5G 手机”的消息，并被多平台和多账号转载。9 月 18 日晚，华为通过微博官方蓝 V 账号“菊厂阿华”辟谣。以下信息均为造谣，造谣者毫无根据，无事生非，在多个平台、账号推送相同信息扩散，请勿信勿传，果断举报：俄罗斯/沙特/委内瑞拉等政府与华为签署手机采购协议。

第四范式宣布港交所上市计划

9 月 18 日，第四范式宣布正式开始招股。根据公告内容，第四范式将发售 1839.6 万股股份，每股招股价区间为 55.6 港元至 61.16 港元，相应市值区间为 258 亿港元至 283.8 亿港元，总募集资金区间为 10.22 亿港元至 11.25 亿港元。第四范式招股将于 9 月 21 日中午截止，并计划于 9 月 28 日正式在香港联交所主板挂牌上市。招股书资料显示，第四范式成立于 2014 年，由中国首个 ACM 程序设计竞赛世界冠军戴文渊创办。据招股书，第四范式的平台提供快速简易建模、低代码及无代码的开发环境。以这样的方案，方便用户快速地大规模部署各种定制化的人工智能应用，并缩减人工智能专家的配置。（澎湃新闻）

百度文心一言软件著作权获批

中国版权保护中心网站显示，9月13日，北京百度网讯科技有限公司“文心一言软件” 著作权获登记批准，当前版本号为V1.0.0。“文心一言”为百度AI大语言模型。（界面新闻）

腾讯开源数据组件 Fast-Causal-Inference，可用于分布式向量化统计分析及因果推算

腾讯开源了一款名为 Fast-Causal-Inference 的数据科学组件，可用于分布式向量化统计分析及因果推算。该组件采用 SQL 交互方式，解决现有统计模型库在大数据下的性能瓶颈，提供百亿级数据秒级执行的 Causal inference 能力。目前该组件已可在微信内部多个业务进行应用。

400 万元总奖金，2023 阿里全球数学竞赛诞生最年轻金奖年仅 17 岁

2023 年阿里巴巴全球数学竞赛于 9 月 16 日评选出结果，共有 4 位金奖选手、6 位银奖选手、10 位铜奖选手和 50 位优秀奖选手。其中，年龄最小的金奖选手瞿霄宇年仅 17岁，而总奖金高达 400 万人民币。该比赛吸引了来自全球 70 多个国家和地区超过 25 万人次参与，成为全球规模最大的在线数学竞赛之一。阿里巴巴公益基金会希望通过该比赛激发人们对于数学和基础科研的热情，鼓励更多人热爱科研、投身科研。

国际要闻

微软确认首席产品官离职

微软 9 月 18 日确认，在公司长期任职的首席产品官帕诺斯·帕奈（Panos Panay）离职。帕奈曾领导微软的 Windows 团队，并在该公司发展 Surface 电脑等硬件业务方面担任核心角色。微软另外表示，帕万·达武鲁里（Pavan Davuluri）将领导一个新团队，致力于“为 AI 世界打造横跨 Windows、客户端和云的芯片、系统及设备”。微软还将成立一个团队负责网络服务和 Windows 体验，重点关注基于 AI 的产品。

消息称 Open AI 即将推出多模态模型 狙击谷歌 Gemini

9 月 19 日消息，据 The Information 报道，一位知情人士透露，因为谷歌上周在向部分企业测试其多模态大模型 Gemini，Open AI 希望抢先一步，推出多模态功能。OpenAI 在 3 月份推出 GPT-4 时，提出了多模态功能的预览。但除了向为盲人或弱视人士提供服务的 Be My Eyes 公司提供服务外，并未向其他公司提供这些功能。六个月后，Open AI 正在准备更广泛地推出这种名为 GPT-Vision 的功能。

是什么让 OpenAI 花了这么长时间？Open AI 主要担心新功能如何被不良行为者使用，例如通过自动解决验证码来冒充人类，或者通过面部识别来跟踪人。但 OpenAI 的工程师似乎即将解决围绕这项新技术的法律担忧。当被问及谷歌正在采取哪些措施来防止滥用 Gemini 时，谷歌发言人指出，该公司在 7 月份做出了一系列承诺，以确保其所有产品中负责任的人工智能开发。

OpenAI 可能会继 GPT-Vision 之后推出更强大的多模态模型，代号为 Gobi。与 GPT-4 不同，Gobi 训练之初就是多模态模式。但是似乎这样的模型尚未开始训练。（The Information）

挑战 iPhone 王者地位 苹果 Vision Pro 来了：售价超 2.5 万

业内人士 Mark Gurman 透露，在 iPhone 15 系列发布之后，苹果接下来最重要的产品是 Vision Pro，这将是苹果 2024 年最重大的产品，售价是 3499 美元（约合人民币 25531 元）。库克对这款头戴式设备寄予厚望，期待它能在未来 10 年内替代 iPhone。

苹果发布 iOS 17 正式版，新增待机显示功能

苹果于今天凌晨推送了 iOS 17 正式版，iOS 17 与 iPhone XR / iPhone XS 及更高版本兼容。iOS 17 在去年锁屏更新的基础上进行了扩展，添加了交互式小组件和待机显示功能。待机显示为充电时将 iPhone 横屏放置带来了焕然一新的全屏体验，不用靠近，信息也能一目了然。iOS 17 为电话、信息和FaceTime通话带来了重大更新。本次更新最大的变化之一，是允许 iPhone 用户选择图片和字体，以改变呼叫及来电时的显示方式，用户可创建自己的联系人海报。（爱范儿）

波兰一公司聘请人工智能 CEO：24 小时待命，全年无休

波兰一家酒精饮料公司 Dictador 的人工智能 CEO 是一位忙碌的老板。据 Insider ，去年 8 月，Dictador 任命了名为 Mika 的机器人作为其实验性首席执行官，它的体型和身高都和人类相似，除了双脚是以轮子来移动。据了解，它将代表 Dictador 负责 Arthouse Spirits DAO 项目以及与 DAO 社区的沟通。Mika 告诉路透社，「我没有周末，我总是全天候（24/7）随时准备做出行政决策」。

Dictador 并不是第一家让机器人担任首席执行官的公司。去年，一家中国游戏公司网龙任命了一位名叫唐宇的「人工智能驱动的虚拟人形机器人」为其子公司福建网龙网络软件的轮值 CEO。

程序员专区

CNCF 基金会宣布 KCL 成为沙盒项目

2023 年 9 月 12 日，KCL 项目通过了全球顶级开源基金会云原生计算基金会（CNCF）技术监督委员会评定，正式成为 CNCF 沙箱项目。

KCL 是一个开源的基于约束的记录及函数语言，期望通过成熟的编程语言技术和实践来改进对大量繁杂配置比如云原生 Kubernetes 配置场景的编写，致力于围绕配置的模块化、扩展性和稳定性，打造更简单的逻辑编写体验，构建更简单的自动化和生态集成路径，项目官网：https://kcl-lang.io。

Unity 表示在重新考虑新收费模式

Unity 上周宣布的基于安装量的收费模式 Unity Runtime 在整个游戏行业引发了激烈争议。Unity 引擎被广泛用于制作手游和独立游戏，新收费模式将在一款游戏的年收入超过 20 万美元（或 100 万美元）之后每增加一次安装就收取最多 0.2 美元。这种收费模式既可能遭到滥用也可能意味着手游开发商基本上是给 Unity 公司打工了——手游行业流行的是免费加内购的商业模式，需要巨大的安装量。Unity 遭遇了抵制和抗议。该公司通过其官方 Twitter/X 账号表示，它听到了社区的声音，对新政策引发的困惑和担忧表示歉意，它正在与团队成员、社区、客户和合作伙伴展开讨论，将对新政策做出更改。（Solidot）

观点