一分钟速览新闻点！

我国首个开源桌面操作系统“开放麒麟 1.0”发布

阿里巴巴全新可变字体发布：免费可商用

京东集团 CEO 许冉：将于 7 月 13 日推出大模型

王小川大模型打造秘籍首次曝光：五步走，两个月炼成

腾讯旗下企鹅 FM 发布下线公告：9 月 6 日正式停止运营

谷歌披露量子计算机新突破：比世界最快的超级计算机快“47年”

OpenAI 联合创始人：自动驾驶和 VR 都是“歧途” AI 智能体才是未来

Stability AI CEO 放出豪言：5 年内，人类程序员将不复存在

苹果因 4G 专利面临 70 亿美元赔偿

UCLA 数学教授陶哲轩在 GPT-4 帮助下解决数学问题

LXD 成为 Canonical 的一部分

Perl 5.38 发布

国内要闻

我国首个开源桌面操作系统“开放麒麟 1.0”发布

7 月 5 日消息，我国首个开源桌面操作系统“开放麒麟 1.0”正式发布，标志着我国拥有了操作系统组件自主选型、操作系统独立构建的能力，填补了我国在这一领域的空白。目前适配支持 X86、ARM、RISC-V 三个架构的个人电脑、平板电脑及教育开发板，可以满足绝大多数个人用户及开发者的使用需求。对于操作系统的新玩家来说，生态无疑是最重要的，开放麒麟 1.0 的软件商店上架了百余款 Win 应用、Android 应用，涵盖办公、社交、影音、游戏等多种类别，可以满足绝大多数用户日常应用需求。（一分钟科技）

阿里巴巴全新可变字体发布：免费可商用

阿里巴巴又推出三款全新字体，分别为阿里妈妈方圆体、阿里妈妈灵动体、阿里妈妈刀隶体。其中阿里妈妈方圆体为双轴可变字体，阿里妈妈灵动体为四轴可变字体，全部永久免费正版商用。据介绍，阿里妈妈方圆体是阿里妈妈·智造字通过智能 AI 的方式完成的一款简体中文双轴可变字体；阿里妈妈灵动体——Alimama agile 是一款西文四轴可变字体；阿里妈妈灵动体也是阿里妈妈智造字首次尝试研发的多轴可变的西文字体。

注意的是虽然字体免费商用，但字体不可作为 logo 字拿去商标注册，以及不能二次创作，可以嵌入到 App 使用，但不能就字体的使用向用户或会员收费。（快科技）

京东集团 CEO 许冉：将于 7 月 13 日推出大模型

据媒体报道，京东集团 CEO 许冉在日前 2023 全球数字经济大会主论坛上表示，唯有技术才能创造核心竞争优势，7 月 13 日，京东全球科技探索者大会将发布京东大模型。（品玩）

王小川大模型打造秘籍首次曝光：五步走，两个月炼成

由王小川组队创办的AI大模型创企百川智能日前宣布推出 70 亿参数量的中英文预训练大模型 baichuan-7B。baichuan-7B 不仅在 C-Eval、AGIEval 和 Gaokao 中文权威评测榜单上，以显著优势全面超过了 ChatGLM-6B 等其他大模型，并且在 MMLU 英文权威评测榜单上，大幅领先 LLaMA-7B。

腾讯旗下企鹅 FM 发布下线公告：9 月 6 日正式停止运营

7 月 5 日，腾讯旗下音频平台企鹅 FM 发布下线公告，称由于业务调整，即日起，企鹅 FM 将关闭用户注册及充值功能，并在 2023 年 9 月 6 日 0 时正式停止运营。企鹅 FM 方面表示，已购内容仍可以继续收听，不受停运影响，原创录音需下载留存。停运后除已购内容外，个人相关资料数据将被清空。企鹅 FM 是腾讯公司 2015 年推出的一款移动音频内容分享平台，提供免费听书、听新闻等有声数字收听服务。（TechWeb）

国际要闻

谷歌披露量子计算机新突破：比世界最快的超级计算机快“47年”

谷歌近日宣布其在量子计算领域取得重大突破，其设计的量子计算机可在短短几秒钟内，完成世界上最先进超级计算机需要47年才能完成的计算量。这可能标志着，量子计算技术迎来了里程碑时刻。（腾讯科技）

OpenAI 联合创始人：自动驾驶和 VR 都是“歧途” AI 智能体才是未来

OpenAI 联合创始人，特斯拉前人工智能总监 Andrej Karpathy 日前表示，AI智能体代表着一个疯狂的未来。他直言，自己在特斯拉的工作时“被自动驾驶分了心”，钻研自动驾驶和 VR 都不是发展 AI 智能体的正确道路。此刻正是回归神经科学，从中寻求灵感的时刻。（华尔街见闻）

Stability AI CEO 放出豪言：5 年内，人类程序员将不复存在

最近，Stability AI 创始人兼 CEO Emad Mostaque 再一次语出惊人 ——五年内，人类程序员将彻底消失。他表示，自己能预见由 AI 塑造的未来图景，对于人类程序员来说，前景真的不乐观。根据 GitHub 上的数据显示，目前所有代码中的 41% 都是由 AI 生成的。比如说 GitHub 的 Copilot，就是 AI 编程的大杀器，可以一键生成代码。Mostaque 也表示，Stability AI 也越来越火爆，三个月内，在 GitHub 上的热度就超过了比特币和以太坊，佐证了上述现象。（IT之家）

苹果因 4G 专利面临 70 亿美元赔偿

苹果公司和 Optis 公司旷日持久的专利战仍在继续，苹果未能说服英国上诉法院（UK Court of Appeals），意味着还是要支付高达 70 亿美元的赔偿。Optis 于 2019 年在英国起诉苹果公司，认为苹果 iPhone 产品侵犯了其两项 4G 专利。

伦敦高等法院于 2022 年 3 月做出裁定，宣布 Optis 拥有的两项 4G 专利是标准必要专利，苹果侵犯了这些专利。苹果公司此前威胁说，如果这些费用被确定为对该公司来说“在商业上不可接受的”，将退出英国。（IT之家）

UCLA 数学教授陶哲轩在 GPT-4 帮助下解决数学问题

UCLA 数学教授陶哲轩在个人博客以及微软网站发表文章谈论了用 GPT-4 研究数学问题。他说，GPT-4 等生成式 AI 工具的出现将改变我们对于软硬件如何发展的预期。在以对话形式使用中，GPT-4 能充当一位富有同情心的倾听者，热情的共鸣者，创意灵感之源，翻译者或教师，魔鬼代言人，它们能在很多方面帮助我们。

他以及很多人都开始使用 GPT-4 撰写文章的初稿。大模型确实会向用户返回经不起推敲的无稽之谈，但它们今天能为数学家提供线索并参与决策。陶哲轩预测到 2026 年生成式 AI 将能成为数学和其它领域的研究合作者。（Solidot）

程序员专区

LXD 成为 Canonical 的一部分

基于 Linux Containers (LXC)的容器管理器 LXD 成为 Canonical 的一部分，相关代码以及账号都将转移到 Canonical 名下。LXD 的项目领导人 Stéphane Graber 早就受雇于 Canonical，该项目的大部分贡献也都来自 Canonical。LXC 团队对 Canonical 的决定表达了遗憾之情，表示项目的其余部分不受影响。详情可查看：

Perl 5.38 发布

编程语言 Perl 5.38 版本于近日发布，该版本新增了一个实验性的 class 功能，可以用来定义对象类，其它更新有支持 Unicode 15.0、弃用警告有特定的子类别、%{^HOOK} API 引入等详情：