全球新能源汽车产业链话语分析,新能源汽车产业概念,全球新能源汽车前沿及创新技术,新能源汽车产业价值链

前瞻全球产业头条：我国新能源汽车产销连续8年全球第一

春节档电影票房破30亿元

数据显示，截至24日9点，兔年春节档电影累计票房已超30亿元。2023年春节档影片涵盖悬疑、喜剧、科幻、动画等多种题材，目前，《流浪地球2》《满江红》《熊出没・伴我“熊芯”》分列春节档票房前三位。

全国年夜饭账单出炉！这类零食订单量增长超700%

电商平台的数据显示，“农货进城，海鲜下乡”成为今年置办年货的新趋势。进入年货季，国产优质水果的销量同比增长超过150%。在海鲜品类的消费中，县域及乡村地区的订单占比首次超过北上广，优质海鲜被端上乡村年夜饭的餐桌。数据显示，春节前电商平台消费者购买猪肉、羊肉、牛肉等肉制品的客单价环比增长40%，各式各样的肉菜仍然牢牢占据年夜饭餐桌的“大菜”位置。

印度巨型望远镜首次收到近90亿光年外星系发出的无线电信号

加拿大和印度的研究人员在印度的一个巨型望远镜的帮助下，近日捕捉到来自距离地球近90亿光年、名为“SDSSJ0826+5630 ”的星系的无线电信号。这是第一次从如此遥远的地方探测到此类无线电信号。据报道，这个无线电波可以让天文学家们回到过去，了解早期的宇宙。科学家认为，宇宙大约有137亿年的历史。

我国新能源汽车产销连续8年全球第一

中国汽车工业协会最新统计显示，2022年我国新能源汽车持续爆发式增长，产销分别完成705.8万辆和688.7万辆，同比分别增长96.9%和93.4%，连续8年保持全球第一。工信部有关负责人表示，当前，我国新能源汽车已进入全面市场化拓展期，预计今年仍将保持较快增长态势。

去哪儿：返程机票预订量同比增超三成，已超过2019年同期

春运节后返程启动，1月24日，从在线旅游平台“去哪儿”获悉，今年返程集中在1月26日至1月31日（初五至初十），1月27日（初六）是返程高峰。截至1月23日，1月26日至1月31日的机票预订量同比2022年增长33%，超过2019年同期。火车票预订量同比增长27%，热门线路高铁票几乎全部售罄。

山西加大保供煤矿监督检查力度

山西省政府日前出台《关于做好2023年安全生产工作的通知》，这是自2009年起，山西省政府连续15年以“一号文件”安排部署安全生产工作。《通知》指出，突出重点行业领域，持续深化煤矿、金属非金属矿山和尾矿库、危险化学品、交通运输、建设工程施工、经营性自建房、燃气、消防等行业领域的专项整治。煤矿方面，持续深化瓦斯、水、顶板等重大灾害防治，强化隐蔽致灾因素普查治理；严格瓦斯抽采达标管理，煤与瓦斯突出矿井具备保护层开采条件的要开采保护层；推进煤矿防治水“三区”管理，严格落实防治水“三专两探一撤”和“五必须、六严禁”要求。

华龙一号核电机组建设稳步推进

春节期间，多项国家重大工程加速推进，展现经济活力。作为我国自主研发的第三代核电技术――华龙一号核电机组的建设在这个春节里也是如火如荼地进行之中。在位于广东惠州的太平岭核电站，正在建设大湾区的两台华龙一号核电机组，每台机组年发电量可达近100亿度，这两台机组建成后，将为大湾区提供更加清洁、稳定的电力保障。

春节前三天，国内酒店预订量同比增长56%

1月24日，春节假期过半，全国旅游出行市场快速复苏，长线旅游度假市场持续升温，出境游迅速恢复，周边游继续保持了较高的活跃度。同程旅行数据显示，今年春节假期前三天，国内酒店预订量同比增长56%，景区门票预订量同比增长79%，国内机票预订量同比增长30%，出境机票同比增长218%。

网易发布暴雪游戏退款公告

1月24日，网易旗下网之易发布公告称，2月1日起开放“暴雪游戏产品”退款申请，推出了以战网价格阶梯最高单价进行全现金兑付，并支持战网、iOS、安卓等全平台退款申请的“全现金、全平台”退款方案。可退款商品包括：《魔兽世界》《炉石传说》《守望先锋》等暴雪游戏产品中，已充值但未消耗的虚拟货币或未失效的游戏服务

安徽九华山景区游客量暴增近360%，四川广元剑门关景区游客量大增110%

1月24日消息，今年春节期间，安徽九华山风景区全面实施交通管制和“多点分流”，方便游客停车后就近换乘，快速进入景区游览。 截至23日中午12点，九华山风景区接待游客4.18万人次，同比增长359%；大年初二，位于四川省广元市的剑门关景区迎来兔年首个旅游高峰。截至23日下午三点，剑门关景区共接待游客近4万人次，与去年同期相比增加了110%。

加特林烟花价格最高涨10倍！

据媒体报道，2023年春节前夕，湖南浏阳“加特林”从原来的20元一支已上涨到60元，到了外地某些城市甚至能卖到200元一支，直接涨了十倍。一家面临倒闭的烟花厂家，甚至因为卖“加特林”直接活了过来，离过年还有十多天的时候，各家的烟花仓库几乎都卖空了，经销商自己也没有预料到。从业者称烟花厂今年的出货量比往年减少15%-20%，但订单量却增长了10%-15%，“近五年第一次有这么大的涨幅”。

日本拟开元宇宙“百年百货店” 三菱商事、京都府等已加盟

据共同社，日本促进运用网络虚拟空间“元宇宙”相关研究的“元宇宙推进协议会”1月23日宣布，打算汇集全国创业以来已有百年以上历史的老企业，在元宇宙开设“百年百货店”。当前以汇集百家企业为目标，推动日本酒酿酒商和味噌生产商等加入。协议会还考虑让访问百货店的人透过名品也对各地特色和历史产生兴趣。该协议会成立于去年春季，三菱商事、NTT都科摩、鹿岛和京都府等约50家企业及团体加盟。

美国考虑取消出售战略石油储备的计划

据美国能源信息公司Energy Intelligence消息，美国正在审查并考虑取消今年出售战略石油储备的计划。三位美国消息人士透露，原定于今年9月前进行的出售战储的计划正在接受审查。在去年为平抑油价释放了创纪录的战储后，拜登政府现在将重点转向重新补充战略石油储备。美国国会授权的2600万桶战储的销售现在面临被取消的风险。当时，由于美国页岩油产量迅速上升，议员们对能源安全的担忧程度较低，所以才会通过出售战储的法案。

美国FDA计划简化新冠疫苗接种，类似流感疫苗每年一次

美国食品药品管理局（FDA）当地时间1月23日发布《未来新冠疫苗接种方案》，希望简化新冠疫苗的接种过程，提议每年为健康成年人注射一剂最新的新冠疫苗，这个过程看起来更加接近目前的流感疫苗。咨询委员会定于1月26日（本周四）举行会议。该机构表示，展望未来，大多数人可能只需要注射一剂最新的新冠疫苗即可恢复保护力，无论他们之前的接种次数。FDA还要求其外部顾问小组考虑每年为幼儿、老年人及免疫力低下的人群注射两次新冠疫苗。目前，大多数美国人需要首先接种两剂原始新冠疫苗，并在几个月后接种加强针。

至少7国报告儿童止咳糖浆受污染事件，WHO紧急呼吁各国协调行动

据联合国新闻网23日报道，在过去4个月，至少7个国家报告了若干起儿童非处方止咳糖浆确认或怀疑受到高浓度二甘醇和乙二醇污染的事件。其中3个国家（冈比亚、印尼和乌兹别克斯坦）报告了300多例死亡病例，大多数是5岁以下儿童。世卫组织呼吁其194个成员国采取行动，防止更多死亡发生。“由于这些不是孤立的事件，世卫组织呼吁参与医疗供应链的各利益相关方立即采取协调的行动。”

大规模裁员之后，谷歌CEO皮查伊宣布减少高管奖金

1月24日消息，据外媒援引知情人士消息，当地时间周一谷歌首席执行官桑德尔・皮查伊（Sundar Pichai）表示，将减少向公司高管们发放的奖金。此前公司刚刚宣布历史上规模最大的一轮裁员，这些行动都是谷歌削减运营成本的举措。谷歌母公司Alphabet上周宣布将裁员约1.2万人，占员工总数的6%，这是公司自2009年以来首次进行大规模裁员。

苹果MR头盔设计细节曝光

糖尿病新药获批，有效降低血糖水平

TheracosBio今日宣布FDA批准其口服SGLT2抑制剂Brenzavvy（bexagliflozin）作为2型糖尿病患者在饮食与运动外的辅助疗法，以改善血糖控制。Brenzavvy是一款钠葡萄糖协同转运蛋白2（SGLT2）口服抑制剂，在血糖水平较高的2型糖尿病患者中，抑制SGLT2可阻止糖被肾脏再吸收，从而让更多的糖分从尿液中排出。

微软宣布向ChatGPT开发者OpenAI追加投资数十亿美元

据报道，微软公司当地时间1月23日宣布开启与在线聊天机器人ChatGPT开发者OpenAI合作的第三阶段，将向OpenAI开展“多年、数十亿美元”的投资。两家公司没有披露具体款项，但《纽约时报》、彭博分别援引一位知情人士消息称，微软将向OpenAI投资100亿美元。美国财经媒体Semafor此前1月10日报道了这一数额。这笔资金还包括其它风险投资机构。包括新投资在内，OpenAI的价值将达到290亿美元。

华虹半导体：拟成立12英寸晶圆制造合营企业

华虹半导体近日发布公告称，公司、全资子公司华虹宏力、国家集成电路产业基金II及无锡市实体于2023年1月18日订立合营协议，有条件同意透过合营公司成立合营企业并以现金方式分别向合营公司投资8.8038亿美元、11.6982亿美元、11.658亿美元及8.04亿美元。

ADI拟斥资10亿美元扩产俄勒冈芯片厂

据报道，模拟芯片厂商ADI斥资10亿美元，拟对俄勒冈州比弗顿附近的半导体工厂进行升级，目标产能翻倍。ADI工厂运营副总裁Fred Bailey表示，公司正在进行大量投资对现有制造空间进行现代化改造，重新装配设备以提高生产率，并通过增加25000平方英尺的额外洁净室空间来扩展整体基础设施。

1.近日，国内光量子芯片及光量子计算产业化引领者图灵量子宣布完成数亿元A轮融资。

2.深圳汇芯生物医疗科技有限公司（以下简称“汇芯生物”）宣布完成数千万元Pre-A+轮融资，投资方为中南创投基金。

3.飞诺门阵（北京）科技有限公司正式宣布完成A+轮战略融资，投后估值近6亿元人民币。

1.证监会核发坤泰股份、亚通精工IPO批文。

2.证监会同意湖北省宏源药业科技股份有限公司首次公开发行股票并在创业板上市的注册申请。

3.中国成人在线学习服务提供商量子之歌向美国证监会（SEC）递交文件，申请在美国首次公开募股。

1.多家外商独资公募对今年中国资本市场投资机会做出判断。有机构认为，中国此轮的经济周期节奏要领先于欧洲和美国，国际配置资金或将回流中国，引起中国股票的估值扩张。

2.美股三大指数集体收涨，纳指涨2.01%，标普500指数涨1.19%，道指涨0.76%。

3. 欧洲主要股指集体收涨，德国DAX30指数涨0.46%，英国富时100指数涨0.18%，法国CAC40指数涨0.52%，欧洲斯托克50指数涨0.76%。

1935年的今天，第一批罐装啤酒上架

1935年1月24日，罐装啤酒首次亮相。戈特弗里德克鲁格酿酒公司(Gottfried Krueger Brewing Company)与美国罐头公司(American Can Company)合作，向弗吉尼亚州忠实的克鲁格粉丝们运送了2000罐克鲁格Finest Beer啤酒和Cream Ale奶油麦酒。91%的酒鬼们举双手双脚赞成罐装啤酒，这促使克鲁格同意进一步生产。

更多本行业研究分析详见前瞻产业研究院《2022-2027年中国新能源专用车行业深度调研与投资战略规划分析报告》，同时前瞻产业研究院还提供产业大数据、产业研究、政策研究、产业链咨询、产业图谱、产业规划、园区规划、产业招商引资、区域产业对标研究、IPO募投可研、IPO业务与技术撰写、IPO工作底稿咨询等解决方案。

---

卷起来了DeepMind发布媲美普通程序员的AlphaCode，同日OpenAI神经数学证明器拿下奥数题

卷起来了表情包,卷起来了怎么回复,卷起来了吗,卷起来卷起来

世界本来已经很卷，有了AI加入之后，卷上加卷

太卷了！

在国内欢度春节之时，DeepMind 与 OpenAI 两个知名 AI 研究机构分别发布重要研究成果：DeepMind 发布了基于 Transformer 模型的 AlphaCode，可以编写与人类相媲美的计算机程序；同时，OpenAI 开发的神经定理证明器成功解出了两道国际奥数题。

有没有觉得 AI 攻克的这两个领域很熟悉？没错，就在 2021 年，OpenAI 发布了 AI 代码补全工具 GitHub Copilot ，并公布了背后的技术 CodeX。同样，在去年下半年，DeepMind 也公布了他们解决数学难题的 AI 研究成果，并登上了 Nature。

虽然两家研究机构的新成果为 AI 解决老问题提供了新思路，但也不得不让网友感叹，AI 领域太卷了！

_来源：网友微博截图 _

击败 46% 参赛者的 AlphaCode

在最近的一篇论文中，DeepMind 的研究者介绍了 AlphaCode。AlphaCode 使用基于 Transformer 的语言模型实现大规模的代码生成，并且将其编写为程序。

论文连接：https://storage.googleapis.com/deepmind-media/AlphaCode/competition_level_code_generation_with_alphacode.pdf

研究者将 AlphaCode 放在 Codeforces 挑战中进行了测试，Codeforces 是一个具有竞争力的编程平台，它类似于国际象棋中使用的 Elo 评级系统，每周分享编程挑战和问题排名。不同于编程人员在打造商业应用程序时可能面临的任务，Codeforces 的挑战更加独立，需要对计算机科学中的算法和理论概念有更广泛的了解，一般是结合逻辑、数学和编码专业知识的非常专业的难题。

AlphaCode 针对 Codeforces 网站上 5000 名用户解决的 10 项挑战进行了测试，总体排名位于前 54.3%，也就是说它击败了 46% 的参赛者 。DeepMind 估计，AlphaCode 系统的 Codeforces Elo 为 1238，使其过去六个月内在该网站上竞争的用户中排名前 28%。

举个例子，在测试 AlphaCode 的一项挑战中，试题要求参赛者找到一种方法，使用一组有限的输入将一个随机、重复的 s 和 t 字母字符串转换为另一个相同字母的字符串。例如，竞争对手不能只输入新字母，而必须使用「backspace」命令删除原始字符串中的几个字母。对于 AlphaCode 来说，这只是中等难度的挑战：

其中十个挑战以与人类完全相同的格式输入 AlphaCode。然后，AlphaCode 生成大量可能的答案，并通过运行代码和检查输出来筛选这些答案，就像人类竞争对手一样。AlphaCode 论文的联合负责人 Yujia Li 和 David Choi 表示：「整个过程是自动的，无需人工选择最佳样本。」

要想在 Codeforces 的挑战中脱颖而出，原本不是一件容易的事。AlphaCode 项目开展于两年多前，随着大规模 Transformer 模型的进步与大规模采样、滤波技术的结合，DeepMind 的研究者已经在 AI 能够解决的问题数量上取得了重大进展。

_受到疫情的影响，项目的大部分工作都是在家完成的。 _

研究者在选定的公共 GitHub 代码上预训练该模型，并在相对较小的竞赛编程数据集上对其进行微调。在评估期间，研究者为每个问题创建了大量的 C++ 和 Python 程序，且数量级比以前的工作要大。然后对这些解决方案进行筛选、聚类和重新排序，将这些解决方案分配到一个由 10 个候选程序组成的小集合中，并提交给外部评估。这个自动化系统取代了竞争对手的调试、编译、通过测试和最终提交的反复试验过程。

总体来说，AlphaCode 的排名在竞争对手中大致相当于中位数。虽然远远没能赢得比赛，但这个结果代表了人工智能解决问题能力的实质性飞跃。这一进步证明了深度学习模型在需要批判性思维的任务中的潜力。DeepMind 指出，AlphaCode 目前的技能组合目前仅适用于竞赛性质的编程领域，但它的能力为创建未来工具打开了新的大门，这些工具使编程变得更加容易，并且有朝一日完全自动化。

许多其他公司正在开发类似的应用程序。对于终端的用户来说，这些系统就像 Gmail 的 Smart Compose 功能一样工作，提供一些关于你正在编写的任何内容的建议。

近年来，AI 编程系统的开发取得了很大进展，但这些系统还远未准备好接管人类程序员的工作。他们生成的代码通常有问题，而且由于系统通常是在公共代码库上进行训练的，所以有时会复制受版权保护的材料。

在一项关于 GitHub Copilot AI 编程工具的研究中，研究人员发现其输出的代码约有 40% 包含安全漏洞。安全分析师甚至建议，不良行为者可以故意编写代码并与隐藏的后门（backdoor）在线共享代码，然后这些代码可能被用来训练 AI 程序，将这些错误插入到未来的程序中。

像这样的挑战意味着 AI 编程系统可能会慢慢融入程序员的工作中――换句话说，他们要进行学徒训练，从助理开始做起，在被信任能够自主执行工作之前，AI 给出的建议都要受到怀疑。

目前，DeepMind 已在 GitHub 上发布了竞赛级编程问题和解决方案的数据集，其中也包括广泛的测试的数据，以确保通过这些测试的程序是正确的，这是目前数据集所缺乏的一个关键特性。DeepMind 希望这个基准能够推动在解决问题和代码生成方面的进一步创新。

GitHub 项目地址：https://github.com/deepmind/code_contests

挑战奥数题的神经定理证明器

在学科竞赛领域，国际数学奥林匹克竞赛（IMO）是非常有名的一个，我们熟悉的很多数学大神（如韦东奕）都在这一竞赛中取得了骄人的成绩。

2021 年，这项比赛迎来了一个微小的变化：微软研发多年的数学 AI――Lean 也加入了竞争，和人类选手一决高下。据悉，Lean 是微软研究院在 2013 年推出的计算机定理证明器：数学家可以把数学公式转换成代码，再输入到 Lean 中，让程序来验证定理是否正确。

由于 Lean 剑指金牌，研究人员一直在对其进行不停的打磨，其中也包括被微软收购了的 OpenAI。刚刚，OpenAI 发文表示，他们已经为 Lean 创建了一个神经定理证明器，用于解决各种具有挑战性的高中奥林匹克问题，包括两个改编自 IMO 的问题和来自 AMC12、AIME 竞赛的若干问题。

该证明器使用一个语言模型来寻找形式化命题（formal statement）的证明。每次发现一个新的证明，研究者就把它作为新的训练数据，这改善了神经网络，使它能够在迭代中找到越来越难的命题的解决方案。

该证明器在 miniF2F 基准测试中实现了 SOTA（41.2% vs 29.3%）水平，miniF2F 包含一组具有挑战性的高中奥林匹克问题。

研究者将他们的方法称为 statement curriculum learning，该方法包括手动收集的一组不同难度级别的命题（无需证明），其中最难的命题类似于目标基准。最初，他们的神经证明器很弱，只能证明其中的几个。因此，他们迭代地搜索新的证明，并在新发现的证明上重新训练他们的神经网络。经过 8 次迭代，他们的证明器在 miniF2F 上取得了出色的成绩。

形式化数学（formal mathematics）是一个令人兴奋的研究领域，因为：1）它很丰富，可以让你证明需要推理、创造力和洞察力的任意定理；2）它与游戏相似，也有一种自动化的方法来确定一个证明是否成立（即由形式系统验证）。如下图中的例子所示，证明一个形式化的命题需要生成一系列的证明步骤，每个证明步骤都包含对策略（ tactic）的调用。

形式化系统接受的 artifact 是低级的（就像汇编代码），人类很难产生。策略是从更高层次的指令生成这种 artifact 的搜索过程，以辅助形式化。

这些策略以数学术语作为参数，每次策略调用都会将当前要证明的命题转换为更容易证明的命题，直到没有任何东西需要证明。

研究者观察到，生成策略参数所需的原始数学术语的能力出现在了他们的训练过程中，这是离开神经语言模型所无法完成的。下面的证明就是它的一个例子：证明步骤「use n + 1」（完全由模型生成）提出使用「n + 1」作为解决方案，剩下的形式证明依赖于「ring _ exp」策略来验证它确实有效。

研究者还观察到，他们的模型和搜索过程能够产生链接多个重要推理步骤的证明。在下面的证明中，模型首先使用了引出存在性命题（existential statement） (? (x : ?), f x ≠ a * x + b) 的换质换位律（contraposition）。然后，它使用 use (0 : ?) 为它生成一个 witness，并通过利用 norm _ num 策略来完成证明。

该模型经过 statement curriculum learning 的训练，能够解决培训教材以及 AMC12 和 AIME 中的各种问题，以及改编自 IMO 的两个问题。下面是三个有关的例子。

形式数学涉及两个主要的挑战，使得单纯的强化学习应用不太可能成功：

1. 无限的动作空间：形式数学不仅有超大的搜索空间（比如像围棋），还有无限的动作空间。在搜索证明的每个步骤，模型的选择范围不是一组行为良好的有限动作，而是一组复杂且无限的策略，涉及必须生成的外生数学术语（例如，生成用作 witness 的数学命题)。

2. 缺乏自博弈（self-play）：与两人游戏相反，证明器不是与对手对抗，而是与一系列需要证明的命题对抗。当面对一个过于困难的命题时，没有明显的重构可以让证明器首先生成更容易处理的中间语句。这种不对称性阻止了在双人游戏中获得成功的自博弈算法的简单应用。

在这项工作中，研究者通过从一个语言模型中采样动作来解决无限动作空间问题。语言模型能够生成策略调用以及通常需要作为参数的原始数学术语。对于自博弈的缺乏，他们观察到，自博弈在两人游戏中的关键作用是提供一个无监督的课程（curriculum）。因此，他们建议用一套不同难度的辅助问题命题（不需要证明）来代替这种无监督的课程。他们的实验结果表明，当这些辅助问题的难度变化足够大时，他们的训练程序就能够解决一系列越来越难的问题，最终推广到他们所关心的问题集。

虽然这些结果非常令人兴奋，因为它们证明了深度学习模型在与形式系统交互时能够进行重要的数学推理，但在竞赛中，该证明器离最佳学生表现还差得很远。研究者表示，他们希望自己的工作将推动这一领域的研究，特别是针对 IMO 的研究，并希望他们提出的 statement curriculum learning 方法能够加快自动推理的研究进展。

**小结 **

两家机构最新的研究成果已经介绍完毕，网上已经零零散散地出现了关于效果的评价：

如有 AI 研究科学家发系列长推表示，AlphaCode 达到人类水平还需要几年时间，它在 codeforce 上的排名是有限制的，如许多参与者是高中生或大学生；还有就是 AlphaCode 生成的绝大多数程序都是错误的，正是使用示例测试进行过滤才使得 AlphaCode 实际解决了某些问题。

也有研究人员表示，这像是 AlphaStar 大力出奇迹的结果。

国内的 AI 从业者们可以趁假期研究下这两项研究，发表自己的看法。

如果觉得有用，就请分享到朋友圈吧。

对白的算法屋

一位本科创业赚数百万的清华小哥哥，BAT算法工程师。日常分享AI前沿算法、创业心得和人生感悟。偶尔逗比，一直正能量！ 关键词：机器学习、深度学习、推荐系统、自然语言处理

你好，我是对白，清华计算机硕士毕业，现大厂算法工程师，拿过8家大厂算法岗SSP offer（含特殊计划），薪资40+W-80+W不等。

高中荣获全国数学和化学竞赛二等奖。

本科独立创业五年，两家公司创始人，拿过三百多万元融资(已到账)，项目入选南京321高层次创业人才引进计划。创业做过无人机、机器人和互联网教育，保研清华后退居股东。

我每周至少更新三篇原创，分享人工智能前沿算法、创业心得和人生感悟。我正在努力实现人生中的第二个小目标，上方关注后可以加我微信交流。

期待你的关注，我们一起悄悄拔尖，惊艳所有

---

历史上的今天：苹果电脑之父诞生；阿里巴巴收购雅虎中国；OpenAI 击败电竞世界冠军...

苹果电脑 历史,苹果电脑的诞生,苹果电脑的进化史,最早期的苹果电脑

整理 | 王启隆

透过「历史上的今天」，从过去看未来，从现在亦可以改变未来。

今天是 2022 年 8 月 11 日，在 1999 年的今天，欧亚一些地区观赏到了一次壮丽的日全食景象。这次日全食是本世纪最后一次日全食，将持续两分钟左右，这次日全食，又正好发生在太阳活动变化十分激烈的峰年时期（太阳的活动有着 11 年的周期性规律，目前正处临近顶峰的时期），因此，这次日全食对于科学探测来说，更有着重要的意义。

时至今日，天文学家不仅早已知道日全食的成因，而且还能根据科学规律精确地计算和预报每一次日全食发生的时刻；回顾科技发展史，8 月 11 日这一天还发生过哪些关键事件呢？

图源：维基百科

1921 年 8 月 11 日，英国数学家和计算机科学家汤姆・基尔伯恩（Tom Kilburn）出生在约克郡杜斯伯里附近的厄尔西顿。在 30 年的职业生涯中，基尔伯恩参与了五台具有重大历史意义的计算机的开发；后来在曼彻斯特大学工作期间，他与弗雷德里克・威廉姆斯（Frederic Calland Williams）一起研究了 Williams-Kilburn 管（也就是威廉姆斯管）以及世界上第一台电子存储程序计算机 Manchester Baby。他的工作将曼彻斯特和英国推向了新兴计算机科学领域的前沿。

基尔伯恩毕业于剑桥西德尼苏塞克斯学院，二战期间他在威廉姆斯领导下的马尔文电信研究所 (TRE) 从事雷达研究工作。战争结束后，他被威廉姆斯招募到曼彻斯特大学从事计算机开发工作。在那里，基尔伯恩领导了一系列创新曼彻斯特计算机的开发，这些计算机融合了许多突破性的创新和发展，其中甚至包括世界上第一台商用计算机 Ferranti Mark 1。

多年来，基尔伯恩获得了无数奖项和赞誉。他于 1965 年被选为英国皇家学会院士，1971 年获得了 IEEE 计算机协会 W. Wallace McDowell 奖，“因为他在设计和构建世界上第一台以及一些最强大的计算机方面取得了成就”；2000 年，基尔伯恩被选为计算机历史博物馆院士，以表彰他对早期计算机设计的贡献（包括随机访问系统、数字存储和虚拟内存）。基尔伯恩一生中亲历了数座超级计算机的建设，参与了五台具有重大历史意义的计算机的开发，他于 2001 年 1 月 17 日，享年 79 岁，是真正的“计算机历史见证者”。

资料来源：维基百科

1950 年 8 月 11 日：苹果电脑之父 Steve Wozniak 出生

在 72 年前的今天，1950 年 8 月 11 日，美国电脑工程师、苹果电脑的创始人之一史蒂夫・沃兹尼亚克（Stephen Wozniak）出生。沃兹尼亚克曾与斯蒂夫・乔布斯合伙创立苹果电脑公司，并在 1970 年代中期创造出第一代苹果电脑和第二代苹果电脑；第二代苹果电脑风靡普及后，成为 1970 年代及 1980 年代初期销量最佳的个人电脑，而其创造者沃兹尼亚克也被誉为使电脑进入大众家庭的工程师。

沃兹尼亚克有不少绰号，像是沃兹（The Woz）、神奇巫师沃兹（Wonderful Wizard of Woz）和 i 沃兹（iWoz，调借自苹果公司的产品 IPod 名称）。沃兹（WoZ）其名同时也是沃兹尼亚克所创立的公司“宙斯之轮”（Wheels of Zeus）的缩写，他性格矜持，不以名人身份自喜，著有个人传记《iWoz：我是沃》。

图源：维基百科

高中毕业后，沃兹进入科罗拉多大学就读，但他于大二暑假就休学到坦勒特（Tenet）电脑公司担任程序员。1970 年夏天，公司主管帮沃兹弄来大约 20 颗电脑芯片，协助他将纸上电脑美梦成真。沃兹在邻居比尔・费尔南德斯家车库里将芯片拼凑组装起来，两人一边工作一边啜饮奶油苏打汽水，组装完成后将这台电脑命名为“奶油苏打电脑”（Cream Soda Computer）。

奶油苏打电脑的特色是，几乎所有电脑还在使用磁芯存储器的时候，沃兹就率先使用了安装相对简便的随机存取存储器芯片；当时一般的电脑动辄几百颗芯片的庞然大物，沃兹则秉持小而美的精神，使用少量的芯片拼凑出电脑的基本功能。

也由于奶油苏打电脑，经由费尔南德斯的介绍，沃兹结识了生命中的另一位重要角色――史蒂夫・乔布斯，两人很快志同道合熟络起来。后来奶油苏打电脑被来访的报社记者不慎踩到电源线导致短路，因此损坏。

1975 年 3 月，经由老友艾伦・鲍姆（Allen Baum）引介，沃兹得知“有一群做电视和影像终端设备的人将举行聚会”，而这些人实际上就是后来名留历史的硅谷“家酿电脑俱乐部”首次聚会。家酿电脑俱乐部曾在 3 月 3 日的专栏中有过介绍，这个古怪名字中的“家酿电脑”其实指的就是“自制电脑”。

沃兹从聚会上获取一份仿英特尔 8008 微处理器的技术规格文件，赫然发现竟与五年前自己设计的“奶油苏打电脑”相去不远，他内心里的自制电脑梦再次被激发，当晚就在纸上完成了第一代苹果电脑的草图。

图源：维基百科

1975 年底，乔布斯向沃兹提议开设公司贩售印刷电路板，方便电脑发烧友自行组装，一开始沃兹持保守态度，后来乔布斯用“就算赔钱，至少我们这辈子拥有过一家公司”说服了他。乔布斯找来一位雅达利的同事罗纳德・韦恩（Ron Wayne）协助文书工作，两人分他 10% 股份 7，公司名称则照乔布斯在俄勒冈州参与新时代运动的苹果园公社，命名为“苹果电脑”，于 1976 年 4 月 1 日正式成立。

2000 年 9 月，沃兹被正式列入美国国家发明家名人堂。2001 年，沃兹合伙创立“宙斯之轮”公司，从事无线全球定位系统技术的研发。2002 年，沃兹加入 Ripcord 网络公司董事会，与昔日苹果旧友艾伦・汉考克、吉尔・阿米利欧、麦克・康纳（Mike Connor）以及宙斯之轮合伙人艾历斯・费尔汀一同投入崭新的电信事业投资。

同年，沃兹还加入研发设计掌上电脑 Hiptop 的 Danger 公司董事会。尽管沃兹早在 1985 年就离开公司另起炉灶，但苹果电脑从未将沃兹除名，至今仍持续付给沃兹员工底薪，让他代表苹果出席各种电脑俱乐部活动。

资料来源：维基百科

2005 年 8 月 11 日：阿里巴巴收购雅虎中国?

图源：维基百科

2003 年底，雅虎以 1.2 亿美金买下中国公司 3721，并聘请该公司创始人周鸿t任中国区总裁。2005 年 8 月，周鸿t从雅虎离职。2005 年 8 月 11 日，阿里巴巴收购雅虎中国全部资产，同时获雅虎 10 亿美元投资，并享有雅虎品牌及技术在中国的独家使用权，包括旗下的一搜、3721，此外雅虎美国也会获得新阿里巴巴集团的40%股份。

与此同时，雅虎获阿里巴巴 40% 的经济利益和 35% 的投票权。阿里巴巴获雅虎 10 亿美元注资后，董事会成员由阿里巴巴 CEO 马云、阿里巴巴 CFO 蔡崇信、雅虎创始人杨致远及软银董事长孙正义组成。

2013 年 3 月，阿里巴巴集团计划将“中国雅虎”归还给美国雅虎。2013 年 8 月 19 日，中国雅虎邮箱于 2013 年 8 月 19 日停止服务（中文用户会被提醒替换成同用户名的阿里云邮箱，英语用户则会被推荐注册其他用户名以“yahoo.com”，“ymail.com”，“rocketmail.com”等域名结尾的邮箱）。

2013 年 8 月 31 日，中国雅虎在首页刊登公告称，基于 2012 年阿里巴巴集团和雅虎美国的协议，中国雅虎于 9 月 1 日不再提供资讯及社区服务。中国雅虎原有团队将转做阿里集团公益项目，中国雅虎旗下的主要业务都将停止运作。

2021 年 11 月 1 日，雅虎在中国大陆关闭所有业务，用户将无法从中国大陆使用 Yahoo 的产品与服务。使用 yahoo.com 登录网站则会显示停止运营的公告，并以英语、简体中文和繁体中文分别展示。

资料来源：维基百科

图源：维基百科

OpenAI?是一个人工智能（AI）研究实验室，由 OpenAI LP 与母公司非营利组织 OpenAI Inc 所组成，目的是促进和发展友好的人工智能，使人类整体受益。OpenAI 成立于 2015 年底，总部位于旧金山，组织目标是通过与其他机构和研究者的 “自由合作”，向公众开放专利和研究成果。而今天要介绍的主角，则是 OpenAI 的一个计算机程序――OpenAI Five。

OpenAI Five 的首次公开亮相发生在 2017 年 8 月 11 日，这一天，它在单场战斗中击败了世界顶级 DotA 2 玩家之一、职业选手 Dendi。人类和机器人在世界上最大的电子竞技赛事现场上进行了一对一的比赛，第一个获得两次击杀或摧毁游戏内的防御塔的角色将被加冕为获胜者。而在第一场比赛中，OpenAI 的机器人在很早的时候就对 Dendi 完成了一次击杀，随后两人同归于尽，使机器人通过两次击杀成为了赢家。

这是 OpenAI 的一个里程碑，OpenAI 的机器人在一场又一场的比赛中学会了如何玩 DotA 2，从随机行为开始一直学习到可以征服专业人士的程度。次年，OpenAI 系统已经发展到五人全队的表现，并开始对抗并显示出击败专业团队的能力。在 2019 年 4 月于旧金山，欧洲的 DotA 2 电子竞技战队 OG 败给了 OpenAI Five，而这些职业选手在同年再次夺得 Dota 2 国际邀请赛冠军。OpenAI Five 最终得到了整个 AI 领域、技术界和视频游戏社区的认可。微软创始人比尔・盖茨称其为 “大事件”，因为在这种游戏获得胜利 “是需要团队合作和协作的”。

【欢迎投稿】以史为镜，可以知兴替。计算机科学发展至今，有许多至关重要的事件、人物，欢迎所有朋友一起共建「历史上的今天」，投稿邮箱：tangxy@csdn.net 。

― 推荐阅读?―