2023图灵奖得主揭晓!史上首位计算机和数学最高奖“双料王”诞生

重磅消息!北京时间4月10日下午5点整,ACM宣布把2023年图灵奖颁给Avi Wigderson,以表彰Wigderson对计算理论和随机性做出的奠基性贡献。

图片

ACM图灵奖通常被称为“计算机领域的诺贝尔奖”,奖金为100万美元,通常颁发给计算机科学各领域的研究领袖。

分享几个网站

GPT-3.5研究测试:
https://hujiaoai.cn

GPT-4研究测试:
https://higpt4.cn

Claude-3研究测试(全面吊打GPT-4):
https://hiclaude3.com

计算理论和随机性的领袖

Wigderson是普林斯顿高等研究院数学学院的教授,他是计算复杂性理论、算法和优化、随机性和密码学、并行和分布式计算、组合学和图论以及理论计算机科学与数学等科学之间的联系等领域的领军人物。[1]

图片

Wigderson教授,2013年当选美国国家科学院院士,2018年因对“理论计算机科学和数学的贡献”被授予ACM会士。2021年,Wigderson获得阿贝尔奖,“以表彰他们对理论计算机科学和离散数学的基础性贡献,以及他们将其塑造为现代数学的中心领域方面的领导作用”[2]

图片

这次Wigderson获得图灵奖,也成为了第一个同时获得过图灵奖和阿贝尔奖的人。

什么是计算理论

计算理论涉及计算机科学的数学基础。它提出的问题包括“这个问题是否可以通过计算解决”和“如果这个问题可以通过计算解决,需要多少时间和其他资源?”

计算理论还探索高效算法的设计,虽然并不直接涉及改进计算的实际应用,但其研究成果是计算机科学各领域的基础,比如密码学、计算生物学、网络设计、机器学习和量子计算等。

图片

什么是计算的随机性

计算的随机性研究是计算理论的一个子集,从根本上来说,计算机是确定性系统,意味着给定特定的输入,算法的指令集将准确预测计算的输出。

然而,现实世界充斥着难以预测的随机事件,如天气变化和量子现象。为了提升算法效率,计算机科学家引入了能在计算过程中进行随机选择的概率算法,成功解决了一些难以找到有效确定性解决方案的问题,尽管这些算法可能包含微小的误差概率。

这引出了是否能完全去除随机性、所需随机性的质量,以及如何理解和利用计算中的随机性与伪随机性等基本问题。深入理解这些动态将有助于我们开发更好的算法,并深化对计算本质的认识。

Wigderson的卓越贡献

四十年来,作为一名数学家和计算机科学家,威格德森最重要的贡献就是增强了人类对计算中随机性和伪随机性作用的理解。

上世纪40年代,乌拉姆和冯·诺依曼共同发明的蒙特卡罗方法,开启了随机算法的先河。

在上世纪70年代末,计算机科学家们已经发现:随机性和计算难度之间存在显著联系,对于许多难题,采用随机性的算法(也称为概率算法)可以远远胜过其确定性方案,比如当时的拉斯维加斯算法。

图片

在80年代,BPP复杂性类的建立,标志着对随机算法计算复杂性系统性研究的开始,BPP类描述了那些可以在多项式时间内解决且具有误差概率的算法。Wigderson在该领域的三项研究深远地影响了计算机科学的各个学科:

Hardness vs. Randomness

BPP has subexponential time simulations unlessEXPTIME has publishable

P = BPP if E Requires Exponential Circuits: Derandomizing the XOR Lemma

此外,除了随机性方面的工作之外,Wigderson也是理论计算机科学其他几个领域的知识领袖,包括多证明者交互式证明、密码学和电路复杂性。

图灵奖背后的故事

Wigderson教授,1956年出生于以色列海法。Wigderson的父亲是一名电气工程师。他的父亲喜欢拼图,并对数学的基本概念非常感兴趣,然后又经常跟孩子们分享他的想法。

Wigderson在采访中这样描述父亲对他的影响:就是他让我感染了数学这种“病毒”。

本来大学想主修数学专业的他,却被父母劝导学计算机,理由是:

计算机科学是一个年轻的领域,可能更好找工作

图片

果然,是金子到哪里都会发光。

后来年轻的威格德森于1980年在以色列理工学院取得学士学位,在短短三年内,又于1983年在普林斯顿大学获得了计算机科学博士学位。他先后在加利福尼亚大学伯克利分校、圣何塞IBM研究院、美国国家数学科学研究所和耶路撒冷希伯来大学担任过职位,2003年成为普林斯顿高等研究院的全职人员。

后来又同时拿到了计算机的诺奖——图灵奖以及数学的诺奖——阿贝尔奖,也成了历史上目前唯一一个达成此成就的人。Wigderson的贡献过于瞩目,以至于有人觉得图灵奖早就颁该给他。

图片

图片

除了突破性的技术贡献外,Wigderson在为人方面也是好评如潮,他被认为是一位受人尊敬的导师和同事,为无数年轻研究人员提供了建议。

图片

图片

图片

此外,Wigderson虽身为一名以色列人,但他坚定地反对以色列对他国领土的侵占,并致力于寻找以色列与巴勒斯坦之间的共同政治解决方案。

图片

他的光辉不仅来源于智慧,还伴随着奉献和道义,这激励着我们所有人。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:/a/533870.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

优思学院|过程能力指数CPK是谁发明的?

CPK指数的发明并没有明确归功于某个特定的个人。 它是质量管理和统计过程控制领域中的一个概念,是在多年的实践和研究中逐渐发展形成的。Cpk作为衡量过程性能的工具之一,其理论基础主要来源于统计过程控制(SPC)和质量管理的原理&…

软件建模与设计 —— 入门

序言 对于软件建模与设计,非科班出身的同学可能和我一样比较陌生,虽然日常开发中也涉及到建模,但是并没有系统的学习过软件建模设计。类似于设计模式,软件建模与设计也有一套三板斧。 设计模式 创建型模式提供了创建对象的机制…

基于GAN的多变量时间序列污染训练集异常检测

论文地址:https://ieeexplore.ieee.org/document/9618824 论文源码:https://github.com/sxxmason/FGANomaly 期刊:IEEE Transactions on Knowledge and Data Engineering 多元时间序列异常检测在结构健康监测、智能运维、量化交易等诸多实际…

【C++】模版

目录 一、泛型编程二、函数模板2.1 函数模板概念2.2 函数模板格式2.3 函数模板的原理2.4 函数模板的实例化2.5 模板参数的匹配原则 三、类模板3.1 类模板的定义格式3.2 类模板的实例化 四、非类型模板参数五、模板的特化5.1 概念5.2 函数模板特化5.3 类模板特化5.3.1 全特化5.3…

google map POI获取

说明:仅供学习使用,请勿用于非法用途,若有侵权,请联系博主删除 作者:zhu6201976 一、需求背景 因业务发展,需获取全美(或任意国家)所有POI(标记点)信息,包括mark_id、mark_name、address、numb…

JavaThread线程

目录 程序--进程--线程 程序: 进程: 线程: 进程和线程的关系 创建线程 单线程模式 代码 图解 运行 代码 运行 创建线程 方式一 代码 运行 方式二 代码 运行 总结: Thread类中常用的方法 1、 代码 运行…

python统计分析——一般线性回归模型

参考资料:python统计分析【托马斯】 当我想用一个或多个其他的变量预测一个变量的时候,我们可以用线性回归的方法。 例如,当我们寻找给定数据集的最佳拟合线的时候,我们是在寻找让下式的残差平方和最小的参数(k,d): 其…

YooAsset快速入门

文章目录 YooAsset快速入门指南:YooAsset学习核心要掌握的要点主要包括以下几个方面:基于YooAsset进行游戏资源管理的应用实例 YooAsset快速入门指南: YooAsset是一款专为游戏开发设计的资产管理和分发系统,它能够帮助开发者高效…

服务器挖矿病毒解决ponscan,定时任务解决

服务器挖矿病毒解决ponscan,定时任务解决 挖矿病毒会隐藏chattr的操作权限,让我们无法删除病毒文件,杀掉病毒进程。所以要去下载chattr.c的文件,编译成a.out。然后再对原来的chattr文件的权限进行修改。然后覆盖掉它。 chattr.c …

Redis Pipelining 底层原理分析及实践

作者:vivo 互联网服务器团队-Wang Fei Redis是一种基于客户端-服务端模型以及请求/响应的TCP服务。在遇到批处理命令执行时,Redis提供了Pipelining(管道)来提升批处理性能。本文结合实践分析了Spring Boot框架下Redis的Lettuce客户端和Redisson客户端对P…

openlayers 入门教程(六):controls 篇

还是大剑师兰特:曾是美国某知名大学计算机专业研究生,现为航空航海领域高级前端工程师;CSDN知名博主,GIS领域优质创作者,深耕openlayers、leaflet、mapbox、cesium,canvas,webgl,ech…

curl: (60) Peer‘s Certificate issuer is not recognized curl请求报错

此种情况多发生在自签名的证书或者证书和域名不对,报错含义是签发证书机构未经认证,无法识别。解决办法就是替换证书(补充证书机构)文件就好,如果没有可用的证书可以去Gworg申请一个。

从零到部署指南:Ubuntu上安装Boost和Crow库

1.安装boost 在安装Crow之前,需要确保您的系统中已经安装了Boost库。以下是Boost库安装步骤: 首先,从Boost官方网站或通过特定的链接下载Boost的源码,boost源码具体可参看这个链接: https://blog.csdn.net/duan199201…

Mongodb入门--头歌实验MongoDB 数据库基本操作

MongoDB 中聚合( aggregate )主要用于处理数据(诸如统计平均值,求和等),并返回计算后的数据结果,通常由聚合管道操作符和聚合表达式组合,完成数据处理。功能有点类似 Sql 语句中的 sum()、agv() 等。 一、聚合管道操作符将文档定制格式输出&…

如何在 MySQL 中开启日志记录并排查操作记录

在数据库管理中,能够追踪和审查操作记录是至关重要的。这不仅有助于识别和分析正常的数据库活动,还可以在数据泄露或未经授权的更改发生时进行调查和响应。本文将介绍如何在 MySQL 中开启通用日志记录,并如何排查操作记录。 开启 MySQL 通用…

使用 EFCore 和 PostgreSQL 实现向量存储及检索

随着 ChatGPT 的兴起及其背后的 AIGC 产业不断升温,向量数据库已成为备受业界瞩目的领域。FAISS、Milvus、Pinecone、Chroma、Qdrant 等产品层出不穷。市场调研公司 MarketsandMarkets 的数据显示,全球向量数据库市场规模预计将从 2020 年的 3.2 亿美元增长至 2025 年的 10.5…

机器学习—无量纲化和降维(四)

什么是特征预处理? 通过一些转换函数将特征数据转换成更加适合算法模型的特征数据过程 1包含内容 数值型数据的无量纲化: 归一化标准化 2特征预处理API sklearn. preprocessing为什么要进行归一化 or 标准化? 特征的单位或者大小相差较大…

MATLAB | 这些美丽大方的弦图居然都是用MATLAB画的?

什么?这些美丽大方的弦图都是MATLAB画的??? 没错都是由我本人开发的弦图绘制工具包实现的: chord chart 弦图https://www.mathworks.com/matlabcentral/fileexchange/116550-chord-chartDigraph chord chart 有向弦图…

【c语言】自定义类型:结构体详解

目录 自定义类型:结构体 结构体类型的声明 结构体变量的创建和初始化 结构的特殊声明 结构的自引用 结构体内存对齐 对其规则 为什么存在内存对齐? 修改默认对⻬数 结构体传参 结构体实现位段 位段的内存分配 位段的跨平台问题 位段的应用…

vue3新手笔记

setup(){}函数,是启动页面后,自动执行的一个函数。所有数据(常量、变量)、函数等等,都要return 出去。 ref函数(可用于基本数据类型,也可以用于复杂数据类型):让页面上的…