2007图灵奖得主Edmund Clarke因新冠逝世，曾为模型检测开发作出重要贡献 | 科研圈日报
由于微信公众号开始试行乱序推送，为了让您在第一时间获取学术圈新闻资讯，请将“科研圈”设为星标，并常点文末右下角“在看”。
“科研圈日报”主要关注科研圈与研究者个体、科研圈与更广阔的社会环境之间的重要互动。点击 这里 可以查看往期内容。
· 讣闻
2007图灵奖得主Edmund Clarke因新冠逝世，曾为模型检测开发作出重要贡献
卡耐基·梅隆大学的讣闻页面截图
根据公众号“机器之心”消息，12 月 23 日，英特尔量子硬件研究组总监 James S. Clarke 通过社交媒体发文表示，他的父亲、2007 年图灵奖得主 Edmund M. Clarke 因感染新冠不幸去世，享年 75 岁。
Clarke 于 1976 年在康奈尔大学获得计算机科学博士学位，1982 年加入卡耐基·梅隆大学计算机科学系，是该校的终身教授，他与哈佛大学研究生 E.Allen Emerson 等合作，开发了被称为“模型检测”的用于自动检测计算机硬件和软件设计错误的系统方法。该方法主要通过显式状态搜索或隐式不动点计算来验证有穷状态并发系统的模态/命题性质，得到了广泛的应用，有助于提高复杂的计算机芯片、系统和网络的可靠性，并凭借该成就获得 2007 年图灵奖。（机器之心，卡耐基·梅隆大学）
· 研究生教育
2021考研明日开始，非低风险地区考生须全程戴口罩
图片来源：Pexels
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 例。(国家卫生健康委员会、世界卫生组织）
编写：许楚楚、郑蕴仪、梁珏瑜、邱燕宁、魏潇
编辑：魏潇
封面图片来源：Pixabay
——END——
▽ 精彩回顾 ▽