2023 年图灵奖授予了以色列数学家 Avi Wigderson

2023 年图灵奖授予了以色列数学家 Avi Wigderson 2023 年图灵奖授予了以色列数学家、计算机科学家 Avi Wigderson,以表彰他在随机性等理论计算机科学上的贡献。Wigderson 目前担任普林斯顿高等研究院数学学院的 Herbert H. Maass 教授,他的研究包括复杂性理论、平行算法、图论、密码学、分布式计算和神经网络,他在 2021 年获得阿贝尔奖。史上首位阿贝尔奖、图灵奖双得主!图灵奖通常被称为计算机领域的诺贝尔奖,奖金 100 万美元,由 Google 赞助。来源 , 频道:@kejiqu 群组:@kejiquchat

相关推荐

封面图片

2023年图灵奖授予普林斯顿高等研究院数学学院的教授 Avi Wigderson

2023年图灵奖授予普林斯顿高等研究院数学学院的教授 Avi Wigderson 2023年 ACM AM 图灵奖获得者授予普林斯顿高等研究院数的教授 Avi Wigderson。“以表彰他对计算理论的奠基性贡献,包括重塑了我们对随机性在计算中的作用的理解,以及他数十年来在理论计算机科学领域的智力领导地位。”他曾和 La‌szlo‌ Lova‌sz 共同获得2021年阿贝尔奖。ACM AM 图灵奖通常被称为 “计算机领域的诺贝尔奖”,奖金为100万美元,由谷歌公司提供资金支持。该奖项以英国数学家艾伦·图灵的名字命名,他阐述了计算的数学基础和局限性。

封面图片

2022 年图灵奖授予了以太网发明者 Bob Metcalfe

2022 年图灵奖授予了以太网发明者 Bob Metcalfe (Association for Computing Machinery,美国计算机协会)宣布,2022 年度图灵奖授予了 Ethernet(以太网)的发明者 。这一计算机科学的最高荣誉,表彰他为引领大众进入超级连接时代所做的贡献。 1973 年任职于施乐帕洛阿托研究中心(PARC)的计算机科学家 Metcalfe 撰写了有关“广播通信网”的著名备忘录。以太网的第一个版本设计的传输速度是 2.94Mbit/s,是它设计取代的终端网络传输率的逾万倍。以太网的最早实现是基于同轴电缆,但备忘录设想了未来“通过以太的通信”,可适应未来通信媒介的创新如电话双绞线、光纤、Wi-Fi 等等。备忘录为今天我们所知的以太网奠定了基础。Metcalfe离开 PARC 之后创办了 3Com,推动了以太网的标准化。来源 , 来自:雷锋 频道:@kejiqu 群组:@kejiquchat 投稿:@kejiqubot

封面图片

图灵奖揭晓:史上首位数学和计算机最高奖“双料王”出现了

图灵奖揭晓:史上首位数学和计算机最高奖“双料王”出现了 加上2021年获得的阿贝尔奖,维格森教授现在一举成为首个同时拿下数学和计算机最高奖的科学家。(阿贝尔奖也被誉为“数学界诺贝尔奖”)。此外,他还是2017年阿里达摩院刚成立时首批“十大祖师”之一。业内人士纷纷赶来表示祝贺,a16z的研发主管表示:除了已有的学术成果外,也是因为他几十年来孜孜不倦的领导力,才带来理论计算机科学界的长青与活力。比如,没有他,可能就不会有西蒙斯计算理论研究所。值得一提的是,他还在5个月前来到清华叉院做客,对当下大语言模型的发展表达了自己的看法。复杂性理论先驱荣获图灵奖作为一名数学家和计算机科学家,维格森最重要的贡献就是增强了人类对计算中随机性和伪随机性作用的理解。具体什么意思?20实际70年代末,计算机科学家们已经发现:随机性和计算难度之间存在显著联系。(这里的计算难度之高指的是那些没有有效算法,即无法在合理的时间内解决的自然问题,它们计算起来比较困难。)通俗一点解释就是:对于许多难题,采用随机性的算法(也称为概率算法)可以远远胜过其确定性方案。例如,在一个被称为“1977证明”的实现中,两位科学家就引入了一种随机算法,可以比当时最好的确定性算法更快地确定一个数字是否为素数。而在20世纪80年代初,维格森与UC伯克利的科学家Richard Karp合作,将随机性的概念与那些被认为计算难度高的问题联系起来,也就是没有已知的确定性算法可以在合理的时间内解决这些问题的问题。尽管不知道如何证明它们很难,维格森和Richard Karp还是发现了一种针对某个难题的随机算法,然后发现:能够将其去随机化,从而有效地揭示了它的确定性算法。大约在同一时间,其他研究人员也发现密码学问题中的计算难度假设能够实现一般的去随机化。这促使维格森思考随机性本身的特质。他和其他人一样,开始质疑随机性在高效问题解决中的必要性以及在什么条件下它可以完全被消除。终于,1994年,他和另一位计算机科学家Noam Nisan阐明了两者之间的联系。他们证明,如果存在任何自然难题,那么每一种有效的随机算法都可以被有效的确定性算法所取代。即我们总是可以消除随机性。更重要的是,他们还发现确定性算法可能使用“伪随机”序列也就是看似随机但实际上并非随机的数据串。换句话总结就是:随机性对于高效计算来说并不是必需的。即使在没有随机性的情况下,我们仍然可以使用有效的算法来解决问题。这一系列研究彻底改变了计算机科学家对随机性的看法,并适用于理论计算机科学的许多领域。今天,ACM就将图灵奖这一重要荣誉颁给了维格森,主要嘉奖的就是他在如上领域的贡献。在普林斯顿高等研究院的采访中,维格森解释自己既是一位数学家也是一位计算机理论科学家,研究的是计算领域的数学基础。我的研究领域是数学的一个子域,但同时,我所研究的主要概念是计算。对于理论计算机科学,他则认为这个学科拥有一个人对学术研究所能期望的所有优点,包含了一系列令人惊叹的深刻且具有重要智力意义的基本问题,而这些问题对人类、科学、生活和技术都至关重要。(看得出老爷子满满的热爱之情了。)而对于本次大奖,维格森则表示:自己很高兴看到ACM再次认可计算基础理论,它确实对计算科学的实践和技术发展做出了巨大贡献。大学被劝学计算机“好找工作”维格森于1956年在以色列出生,是一位护士和一名电气工程师的儿子。他的父亲喜欢拼图,并对数学的基本概念非常感兴趣,然后又经常跟孩子们分享他的想法。维格森这样描述父亲对他的潜移默化的影响:就是他让我感染了这种病毒。不过等他要在当地海法大学上学时,本想主修数学的他,却被他的父母劝导说:选择计算机吧,计算机好找工作!结果他发现这个领域有很多数学问题没有解决,于是开始吭哧吭哧解决了起来。维格森毕业于以色列理工学院和美国普林斯顿大学,1983 年凭借论文《组合复杂性的研究》获得博士学位。他早期的一项开创性工作,就是证明了一个看似矛盾的问题:能不能在不展示证明过程的情况下,让别人相信一个数学论断已经被证明了。是不是想起隐私计算领域姚期智提出的百万富翁问题内味了。那个问题就是两个百万富翁,他们想证明谁更富有,但两个人都不透露他们拥有多少财富。而原本的这个问题其实是叫做零知识证明,这个概念最早在1985年由三位科学家引入。随后由维格森以及他的合作伙伴Micali和Oded Goldreich进一步阐述了这一想法,并发现了一个意想不到的结果:如果真正安全加密是可能的,那么 NP 中每个问题的解也都可以用零知识证明来证明。换言之,零知识证明可以用于秘密地证明任何有关秘密数据的公开结果。数十年来,他始终活跃在学术岗位上,并且获得诸多赞誉和奖项。1994年,他因在计算复杂性理论方面的工作获得1994年的内万林纳博士毕业后,他在加州大学伯克利分校担任客座助理教授,在IBM担任访问科学家,并在伯克利的数学科学研究所担任研究员。1986年加入希伯来大学担任教员。1994年,他与Omer Reingold和Salil Vadhan一起因在图的 zig-zag 乘积方面的工作而获得了 2009 年哥德尔奖。1999年,他加入普林斯顿高等研究院并工作至今。2013年当选美国国家科学院院士。2018年,他因对计算机科学和数学理论的贡献当选ACM Fellow。第二年,又因为“在随机计算、密码学、电路复杂性、证明复杂性、并行计算以及我们对基本图特性的理解等领域对计算机科学基础做出的根本性和持久性贡献”,他荣获高德纳奖。2021年,维格森与László Lovász共同获得阿贝尔奖。也正因为这样根本性且持久性的贡献,网友们得知他才获图灵奖时感到意外而又惊喜,还以为他早就得了。也有人开始看他曾经写过的书籍了。或许有眼熟的朋友吗?谈大语言模型:最重要还是看它不能做什么而他与姚期智以及中国的缘分还在延续。5个月前,他还曾亲自来到清华叉院做客,带来题为“模仿游戏(Imitation Games)”的特邀报告。由姚期智院士亲自主持讲座,并与他展开对话。据报道,维格森从图灵测试出发,叙述了“模仿学习”理论的沿革及其在密码学、随机性、离散数学、数论等领域的现代应用。他基于凯撒密码、恩尼格玛密码机、选举等案例,引导思考安全性的定义、随机性的应用、隐私和效用的平衡等问题。对于理论计算机研究将如何应对人工智能发展这一问题,维格森表示,尽管包括大语言模型在内的人工智能有很多惊人表现,但最重要的问题是还有什么是AI不能做的。对于给现在正置身于科研的同学们,维格森也给出了自己的建议。他表示,自己曾为解决一个开放性问题用了40年时间,建议同学们要选择自己喜欢的研究领域和话题,并享受在失败中不断学习的过程,这样才能在科研道路上走得长远。参考链接:[1] ... PC版: 手机版:

封面图片

当地时间3月22日,美国计算机学会(ACM)将2022年度图灵奖授予了现年76岁以太网发明者、3Com 公司创始人鲍勃·梅特卡夫

当地时间3月22日,美国计算机学会(ACM)将2022年度图灵奖授予了现年76岁以太网发明者、3Com 公司创始人鲍勃·梅特卡夫(Bob Metcalfe),肯定其在以太网“发明、标准化、商业化”方面的贡献。 以太网是一种局域网技术,可以实现计算机之间的数据传输。ACM在其官网上写道:“梅特卡夫被公认为创造了互联网的基础技术,该技术支持超过50亿用户,并使许多现代生活得以实现。” 1970年代初,梅特卡夫最早在美国麻省理工学院和斯坦福研究院工作期间开始了计算机网络方面的研究,后来其在施乐帕克研究中心(Xerox PARC)工作期间发明了以太网技术。正是这项技术的诞生,为现代计算机通信和互联网的发展奠定了基础。 图灵奖全称ACM A.M.图灵奖,系ACM为纪念计算机科学先驱、英国科学家Alan M. Turing而设,是计算机领域最负盛名的一个奖项,有“计算机界的诺贝尔奖”之称。截至目前,仅1位华人学者获此殊荣,即2000 年图灵奖得主姚期智。

封面图片

资源标题:奇怪国家的数学家 2022

资源标题:奇怪国家的数学家 2022 资源描述:该片讲述的是流亡的朝鲜数学家作为韩国高等学校数学老师来到韩国后发生的故事。崔岷植将化身为流亡的朝鲜数学家,展现特有的领袖魅力与弟子们温暖的师生化学反应。 链接:

封面图片

【3位加密科学家获的理论计算机最高荣誉“2022年哥德尔奖”】

【3位加密科学家获的理论计算机最高荣誉“2022年哥德尔奖”】 ACM算法与计算理论兴趣组(SIGACT)宣布,2022年哥德尔奖授予Craig Gentry,Zvika Brakerski以及Vinod Vaikuntanathan,表彰其对密码学做出的革命性贡献。 据悉,Craig Gentry是一位美国计算机科学家,目前在由 Silvio Micali 创立的区块链创业公司Algorand Foundation担任研究员。 Zvika Brakerski是魏茨曼科学研究所(Weizmann Institute of Science)计算机科学与应用数学系副教授。他的研究兴趣在于计算机科学基础,目前主要研究密码学和量子计算。 Vinod Vaikuntanathan致力于研究基于格的密码学(格子密码),使用整数格构建高级密码原语。同时,还包括研究如何让密码抵抗泄露,开发抵抗对抗性信息泄漏的算法等等。

🔍 发送关键词来寻找群组、频道或视频。

启动SOSO机器人