2007圖靈獎得主Edmund Clarke因新冠逝世，曾為模型檢測開發作出重要貢獻｜科研圈日報

由於微信公眾號開始試行亂序推送，為了讓您在第一時間獲取學術圈新聞資訊，請將「科研圈」設為星標，並常點文末右下角「在看」。

「科研圈日報」主要關注科研圈與研究者個體、科研圈與更廣闊的社會環境之間的重要互動。點擊這裡可以查看往期內容。

· 訃聞

2007圖靈獎得主Edmund Clarke因新冠逝世，曾為模型檢測開發作出重要貢獻

Clarke 於 1976 年在康奈爾大學獲得計算機科學博士學位，1982 年加入卡耐基·梅隆大學計算機科學系，是該校的終身教授，他與哈佛大學研究生 E.Allen Emerson 等合作，開發了被稱為「模型檢測」的用於自動檢測計算機硬體和軟體設計錯誤的系統方法。該方法主要通過顯式狀態搜索或隱式不動點計算來驗證有窮狀態並發系統的模態/命題性質，得到了廣泛的應用，有助於提高複雜的計算機晶元、系統和網路的可靠性，並憑藉該成就獲得 2007 年圖靈獎。（機器之心，卡耐基·梅隆大學）

· 研究生教育

2021考研明日開始，非低風險地區考生須全程戴口罩

2021 年全國碩士研究生招生考試將於 12 月 26 日開始。新華社記者日前從教育部了解到：教育部要求考生進入考場前須嚴格佩戴口罩，進入考場就座後可自主決定是否繼續佩戴口罩，考試結束離場時須嚴格佩戴口罩，鼓勵考生全程佩戴口罩。非低風險地區、備用隔離考場的考生須全程佩戴口罩。考生、考試工作人員每次進入考場前務必要嚴格使用速干手消毒劑進行手消毒或者洗手。考試結束後，應對在隔離考場、備用考點（考場）考試的考生答卷進行消殺後再回收。組織考生錯峰出入考點、考場，保持合理距離，不擁擠、不聚集。如啟用備用考點、考場，應及時將考試地點、赴考路線等信息告知考生。

教育部特別提醒廣大考生，考前要做好個人防護，盡量減少不必要的外出和聚會活動；考試期間，要服從考點安排，積極配合考點做好疫情防控，與考試組織部門一道共同維護安全的考試環境和良好的考試秩序。（新華社）

· 新型抗生素

能有效對抗多種細菌的新型抗生素問世

尋找能夠殺滅耐葯菌的新型抗生素一直是公共衛生系統的迫切需求。美國威斯塔研究所（Wistar Institute）的科學家發現了一種酶抑製劑，它能阻斷對大多數細菌至關重要但在人體中缺失的代謝途徑，在直接殺滅細菌性病原體的同時，快速激發機體免疫反應，抵禦抗生素耐藥性（antimicrobial resistance）。研究顯示，在對臨床分離出的耐葯菌（包括多種致病性革蘭氏陰性和陽性菌）進行體外測試時，相較於同類抗生素，該藥物具有更強的滅菌活性和特異性，且所有測試的化合物都被證明對人體細胞無毒。相關論文 12 月 24 日發表於《自然》（Nature）。（Wistar Institute,Nature）

· 人工智慧

DeepMind 開發無需學習規則就能掌握遊戲的人工智慧 MuZero

12 月 23 日，AlphaGo 的開發者、谷歌旗下人工智慧公司 DeepMind 在《自然》（Nature）發表論文，正式宣布了其最新研發的 AI MuZero。據稱，MuZero 無需事先學習遊戲規則就能掌握遊戲。

據報道，MuZero 的亮點是其擺脫了 AI 對演算法對規則的依賴性。此前，AI 通常在學習環境動態的基礎下對行為進行規劃，但建模環境常常十分複雜，且難以解決混亂的現實世界問題。而MuZero 沒有嘗試為整個環境建模，只留下對決策有用的信息：價值（當前決策「有多好」）、策略（最好的「下一步」是什麼）和獎勵（上一步「有多好」），通過深度神經網路學習來了解當它採取某種行動時會發生什麼，並據此制定計劃。利用該學習模式，MuZero 完全不需要提供規則手冊，通過自己試驗，就學會了象棋圍棋遊戲和各種 Atari 遊戲，並與棋類遊戲 AI AlphaZero 打成平手。（環球科學，Nature）

· 撤稿觀察

《自然-通訊》「女導師拖後腿」論文撤稿

11 月 17 日，美國紐約大學阿布扎比分校的研究人員在《自然-通訊》（Nature Communications）發表的一項研究表明，女導師可能會損害女學生和早期職業科研工作者的職業生涯，這項研究梳理了 2 億多篇科學論文，確定了數百萬對導師和學生，然後根據這些學生所寫論文的引用情況，追蹤了其職業成就，以評估導師的影響。這引發了學者和社交媒體的憤怒並對研究方法做出批評。據《中國科學報》援引撤稿觀察網站消息，一個月前，《自然-通訊》編輯宣布將對該論文展開「優先」調查。12 月 21 日，該研究作者發表撤稿聲明，撤回論文。

在撤稿聲明中，作者表示，他們認識到一些投訴的正確性，包括「將合作論文作為衡量導師關係的標準」。作者補充說，儘管他們相信中高級研究人員之間在合著論文中的發現仍然有效，他們對該研究的發表在個人層面造成的痛苦，以及在科學界引發如此深刻的反應深感遺憾。據撤稿觀察網站報道：《自然-通訊》編輯辯稱，撤稿不是因為有人覺得論文令人厭惡，而是因為論文的方法存在嚴重問題。（中國科學報, Retraction Watch）

· 疫情通報

12 月 24 日我國內地新增確診病例 14 例，其中本土病例 7 例（在遼寧）

根據國家衛健委官網通報，12 月 24 日 0—24 時，31 個省（自治區、直轄市）和新疆生產建設兵團報告新增確診病例 14 例，其中境外輸入病例 7 例（上海 4 例，遼寧 1 例，廣東 1 例，四川 1 例），本土病例 7 例（均在遼寧）；新增無癥狀感染者 17 例（境外輸入 15 例）；當日轉為確診病例 1 例（無境外輸入）。截至 12 月 24 日 24 時，我國內地累計報告確診病例 86913 例，累計死亡病例 4634 例。

根據世衛組織通報，截至歐洲中部時間 12 月 24 日 18:09（北京時間 12 月 25 日 01:09），過去 24 小時內全球新增確診病例 662,825 例，新增死亡病例 13,061 例：其中美國新增確診病例 195,151 例，新增死亡病例 3,148 例；印度新增確診病例 24,712 例，新增死亡病例 312 例。全球累計確診病例 77,530,799 例，累計死亡病例 1,724,904 例。(國家衛生健康委員會、世界衛生組織）

編寫：許楚楚、鄭蘊儀、梁珏瑜、邱燕寧、魏瀟

——END——

點個「在看」，及時獲取最新學術資訊

喜歡這篇文章嗎？立刻分享出去讓更多人知道吧！