被判賠聯想525萬，常程方迴應：提起訴訟；百度自動駕駛出租車在京全面開放；VS Code 1.50版釋出|極客頭條

整理 | 鄭麗媛
頭圖 | 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）