整理 | 郑丽媛
头图 | CSDN 下载自东方 IC
「极客头条」—— 技术人员的新闻圈！
CSDN 的读者朋友们早上好哇，「极客头条」来啦，快来看今天都有哪些值得我们技术人关注的重要新闻吧。
国内要闻
手机欠费超3个月或被纳入征信，江西电信用户或将率先“体验”
10月10日，中国电信江西省欠费信息将接入个人征信系统，从2020年11月开始执行。江西电信客服也明确回应，若用户之前使用的电信产品欠费超过3个月未交清欠费，或者享受了手机、话费优费，有在网协议约定而没有履约，相关信息都有可能会被接入征信。如果仅仅是当月实时欠费停机和欠停一至两个月，只要及时交清欠费，不会被接入征信。如果存在不良征信记录，个人贷款、就业和交通出行等方面均可能会受到影响。浙江电信客服告诉记者，手机号码要规范注销。
华为确认10月22日发布Mate 40：5nm麒麟芯片成重磅看点
华为消费者业务CEO余承东发表演讲称，Mate40搭载的麒麟芯片可能是华为自产的最后一代，届时麒麟旗舰芯片将绝版。目前，从华为终端确认情况，本场发布会上，华为5nm麒麟芯（麒麟9000）将会同步发布，并且会是发布会的一大重点。这款麒麟9000跟苹果A14一样，基于台积电5nm工艺打造，不过相比苹果来说，华为的旗舰芯片要更先进一些，比如集成了5nm工艺的5G基带，这在功耗控制上更加优秀，而A14则是外挂高通5G基带。
百度：自动驾驶出租车服务在北京全面开放
10 月 11 日消息 百度官方今天宣布，即日起，百度自动驾驶出租车服务在北京全面开放，北京的朋友们可在北京经济技术开发区、海淀区、顺义区的数十个自动驾驶出租车站点，无需预约，直接下单免费试乘自动驾驶出租车服务。
罗永浩主持的秋季“旧机发布会”10月14日举办
10月11日，有网友在现代之窗商业广场发现了罗永浩的巨幅广告。广告显示罗永浩回归，本人主持的2020秋季旧机发布会将于10月14日上午12点在罗永浩微博举行。PS：罗永浩发布会时间与苹果iPhone 12发布日期为同一天。该网友向罗永浩求证，罗永浩本人给予肯定答复：是真的。
跳槽小米后被判赔联想525万，常程方回应：提起诉讼，裁决无效
10月10日上午，据报道，劳动争议仲裁委员会已就 “前联想副总裁常程跳槽小米”一事公布了裁决结果，判定常程将继续履行竞业限制义务，并支付违反竞业限制义务违约金 525 万元。但随后不久，常程的委托律师方发表声明，将针对该裁决书向法院提起诉讼，该裁决书依法未生效。
国际要闻
欧盟拟制定监管 “黑名单”，苹果、谷歌或将上榜
欧盟监管机构正在起草一份 “黑名单”，涉及多达 20 家大型互联网公司，其中可能包括 Facebook 和苹果等。据称，欧盟此举旨在限制科技公司的市场影响力，进入 “黑名单”的公司将接受更严格的监管，其中包括与竞争对手共享数据，收集信息更公开透明等。欧盟监管机构将根据公司营收所占市场份额以及用户数量等一系列标准制定 “黑名单”，这意味着 Facebook 和谷歌等公司可能会被纳入其中。目前 “黑名单”中的公司数量和具体标准仍在讨论中，但这表明欧盟正认真考虑制定规则。
多家硅谷巨头反对英伟达收购 Arm，英特尔、高通等在列
据外媒 fudzilla 上周三报道，多名消息人士透露，现有硅谷多家科技企业反对英伟达的 ARM 收购案。外媒称，除 ARM 和英伟达外，多家科技企业向其表示：这笔交易对行业不利。报道称，包括英特尔、高通、特斯拉在内的多家厂商正商论协调行动，预计会很快公布相关公告，以向美国和世界各国当局表达他们的担忧。
国行版 iPhone 12 10 月 16 日开订
据美国媒体最新报道称，苹果已经录好了 iPhone 12 在线上发布的完整视频，今天外媒又给出了新的细节，那就是 iPhone 12 的开卖时间。报道中提到，iPhone 12 系列中包含四款型号，而苹果会采取分批开卖的形式，而首批发售市场的名单中，跟上一代的 iPhone 11 保持一致，中国市场也在首发名单中。iPhone 12系列中最便宜和最贵的版本都不会第一时间开卖，而两款6.1英寸机型先开始发售。
亚马逊终止开发第一款大型电子游戏 Crucible，上线仅两个月
日前，亚马逊旗下游戏工作室 Relentless Studios 开发的免费网游《Crucible》正式宣布将于 11 月 9 日关闭，有效寿命仅为两个月。亚马逊表示，该公司未曾看到 Crucible 能有一个健康而可持续的未来，从事该项目的团队将被调往未来的游戏项目，玩家将获得退款。《Crucible》是一款基于团队的动作射击网游，于 2020 年 5 月 21 日发布，不到两个月就宣布回炉重造，原版本转为封闭式测试版本，不再对外开放。
程序员专区
OpenAI 推出 GPT-f 数学推理证明模型
今年 6 月，OpenAI 发布一款强大的文本生成模型 GPT-3，不少网友迅速上手用了起来，有人用它写食谱、写歌词，甚至有人用它写博客。前不久，OpenAI 再次放出大招。这次，研究人员发布了一篇论文《Generative Language Modeling for Automated Theorem Proving》，推出了一款用于自动定理证明 (ATP) 的 GPT-f 模型。GPT-f 基于 Transformer 语言模型，可以为 Metamath 形式化语言提供自动证明器和证明助手。
Visual Studio Code 1.50版发布
Visual Studio Code 1.50版的亮点在于：可访问的设置编辑器；固定标签的改进；Linux ARM构建；改进的调试体验；JS调试器的新功能；面板布局改进；Webview视图支持（https://code.visualstudio.com/updates/v1_50）
来源：oschina
链接：https://my.oschina.net/u/4394252/blog/4673380