撰文 | 乌其多体育游戏app平台

审校 | 河畔的卡西莫多

图灵奖由好意思国蓄意机协会（ACM）于1966年景立。手脚“蓄意机界的诺贝尔奖”，其前后78名得主（驱散2024年）代表了蓄意机科学半个多世纪的里程碑配置。

图灵奖恰是以艾伦·图灵之名来定名（图片开端：ACM官网）

蓄意机科学之父、东谈主工智能之父艾伦·图灵是被动吃毒离世的，而纵不雅有史以来的图灵奖得主，通常以这样机要又悲催状貌告别的唯惟一东谈主，那即是1998年的图灵奖得主詹姆斯·尼古拉·格雷。

2007年，格雷在令人瞩目下驾船离奇失散，从此消释于茫茫大海。

那时的搜救面积跳动了1000日常公里（差未几尽头于通盘香港或者30多个澳门的陆大地积），况且是海、陆、空全维度无死角搜寻，驱散别说找到东谈主了，以至连船的小数残片或一滴浮油都没发现，这在通盘海难搜救历史上，极为荒凉。

詹姆斯·尼古拉·格雷（图片开端：alchetron）

格雷的生平

格雷于1944年诞生于好意思国旧金山，在闻明的加州伯克利大学取得蓄意机博士学位后，他先后在贝尔实验室、IBM、等公司责任过。同期，还兼职在伯克利等大学素质。

意志他的东谈主都示意，格雷平时精神奕奕、爱重酬酢。除了科研外，他最心爱干的时候即是驾驶一艘“矍铄号”游艇，带着学生或者一又友出海游玩，是个业余帆海家。

格雷和友东谈主在矍铄号上（图片开端：alchetron）

这里我们浅陋了解一下他的具体配置：

格雷之是以在1998年取得了图灵奖，主如果因为他在联统共据库领域的孝顺。他苛刻了数据库事务（Transaction）的宗旨并诱导开发了关键本事，他苛刻事务必须具备ACID特质：

原子性（Atomicity）：事务内的操作“要么全完成，要么全虚伪行”；

一致性（Consistency）：事求实行后数据库景色必须幽闲完好意思性拘谨；

遏止性（Isolation）：并发事务互不侵扰，通过锁机制兑现；

捏久性（Durability）：事务提交后驱散长期保存，故障可通过日记规复。

看上去有点晦涩难解，但举个最常见的例子环球就昭着了：比如我给你银行转账100块，只消我的账户久了转账告捷，那你的账户就一定收款了；如果我的账户转失败了，那问都不必问，你细则也充公到钱。

“要么一皆告捷、要么一皆失败，莫得第三种可能”这种斩钉截铁的原子性和一致性，给我们带来了极强的安全感，这其实就成绩于格雷的阅兵。

格雷的责任径直促进了交易数据库的诞生，使联统共据库从表面走向大规模驾驭。他也因此被称为“事务惩处之父”。

他预言对了一切

1999年，格雷在图灵奖领奖台上作了一个演讲，他在演讲中苛刻了改日应该着眼发展的十几个方针，其中包罗了机器视觉、语音文本相互飞动识别、诬捏实验等。在二十多年后的今天回头去看，他苛刻的这些方针基本都兑现了。他以至在这篇演讲中预言到了Chatgpt的出现，不外那时，他称之为“梅米克斯”。

格雷在ACM官网的像片（图片开端：ACM官网）

除此除外，在他失散只是17天前，他还苛刻了“第四范式”。第四范式说白了，即是大数据密集型计划步履，亦然面前东谈主工智能为啥能发展这样马上的根本原因之一。

可以说，岂论是蓄意机表面如故实践上，格雷都配置斐然，是个国宝级科学家。

格雷的个东谈主生涯也很幸福安心，他一世都爱重旧金山的灿烂阳光，生于此、长于此、成名于此。微软公司已经念念方设法念念挖他，但格雷不肯意离开旧金山，于是微软故意在旧金山开辟了第二个微软计划院，也即是有名的“湾区计划中心”，交给格雷来诱导，于是他的后半生，更是很少离开诞生地。

为什么要这样强调格雷与旧金山的渊源呢，原因很浅陋，因为他最终即是失散于这个我方生涯了一辈子、最闇练的场地。

旧金山的日落（图片开端：alchetron）

失散和搜救经由

时候来到2007年1月28日，这是一个相配清朗的日子。怀抱着母亲的骨灰盒，63岁的格雷独自登上爱船“矍铄号”出海，他此行的方针，是把母亲的骨灰撒在法拉隆群岛隔壁。

格雷的目的地法拉隆岛（图片开端：wikipeida）

眼见他出海的唯独几位一又友和学生，那时格雷的太太卡恩斯并不在腹地，是以他们只是省略地通了个电话。在场的东谈主有点惦记格雷的情怀过于悲痛，但那时莫得一个东谈主对这趟旅程的安全性苛刻质疑。原因是法拉隆群岛的确太近了，距离闻明的金门大桥只是32公里，以“矍铄号”的速率，一天可以爽直走动。更何况船上的格雷是个训戒丰富的老水手呢？

法拉隆岛距离旧金山港相配近（图片开端：openwaterpeida）

就这样，环球眼见矍铄号消释于海面，那是众东谈主临了一次看见这艘船的行踪。第二天，卡恩斯在屡次考虑格雷失败的情况下报警了，海岸警卫队马上派出直升机和查察艇搜寻了4天，却莫得任何踪迹。他们很快发现，格雷的失散十分不对常理：

当先，矍铄号游艇长40英尺，配备了高技术通信和安全开荒，包括充气救生艇和海事无线电，后者遇到有千里没的危境时会自动发出求救信号，但今日没任何开荒收到考虑信号。

莫得留住任何思路的矍铄号（图片开端：alchetron）

其次，驶向法拉隆群岛的航路和收支旧金山湾的航路相配接近，后者是一条十分勤恳的航路，但莫得任何东谈主眼见到过矍铄号的身影。毕竟失散那天阳光灿烂，是以不存在因为天气原因，影响求救信号或者视线的可能。

由于格雷的名气，以及他本人遍布科学界、商界的酬酢网罗，他的失散很快引起了弘大的反响，他的共事和一又友建立了一个名为“坚贞的搜索”的博客，跟着越来越多的志愿者加入，最终演造成一场史无先例的民间搜救举止。这场搜救活动不仅规模极大，况且海陆空全主见遮掩：

海面和陆地上的搜寻主要由海岸警卫队完成，其职守区遮掩大部分太平洋、一半大欧好意思和一半北冰洋。另外，志愿者还自觉组织了私东谈主飞机搜寻队，这个戎行由社会绅士构成，不计东谈主力、不计资金、进入量弘大。

海底的搜寻则遮掩了约1000日常公里，长达四个月，使用了包括多波束回声探伤器和遥控潜水器在内的开赴点进本事，多位海洋学者都参与其中。

左：从海外空间站看到的矍铄号搜寻范围 右：先容好意思国海岸警卫队开发的搜救援助软件系统及后续后劲（图片开端：ACM官网）

而从空中来说，那时有不少蓄意机科学家不眠不断地写临时软件，把那时开赴点进的遥感本事、卫星本事全用上，仔细搜索了132,000日常英里的高别离率卫星图像，试图寻找他的船的行踪。因此取得的训戒，还转折促使了蓄意机援助救急等系统的发展。

闻明科学家失散的故事，当然也引起了媒体的极大怜惜，是以也诱导了大都公众，通过手动图像分析和颓残眼见信息提供匡助。

可是就在这样的发愤、这样精采入微的搜寻下，什么都莫得找到。海岸警卫队发言东谈主马尔斯中尉困惑地示意，失散船只统统莫得行踪，以至连浮油都莫得，这詈骂常不寻常的，纵不雅这个地区的海难史都相配荒凉。

就这样，在搜寻了整整四个月后，东谈主们逐步拆除了寻找格雷的但愿。

宣告死一火

对于格雷的示寂原因众说纷纭，比拟粗鄙的有底下几种：

虎鲸说：法拉隆岛隔壁动物质源十分丰富，况且这个地区的虎鲸比拟凶猛，曾被眼见熟练捕食大白鲨（一般虎鲸族群多以鱼群或者海豹等海兽为食），因此谋略矍铄号是遭到了虎鲸迫切。

法拉隆岛隔壁被虎鲸猎杀的大白鲨

（图片开端：Dyer Island Conservative Trust）

偷猎说：如故因为动物质源丰富的问题，法拉隆偷猎海豹、海狮等的历史曾相配淘气，格雷有可能是遇上了偷猎者，从而际遇厄运。

撞击说：这种说法是，矍铄号撞上了一个飞动在海面的货柜，一皆千里没于大海。

其他腹黑病爆发说、核废物说等也流传甚广。以挚友多东谈主觉得，格雷那天根底没出海，而是由于机要原因，我方中途折返了。

以上的说法基本都莫得事实默契，格雷的失散，似乎成了一个永恒无法解开的谜团。

格雷失散后，他的遗孀卡恩斯示意，我方再也无法隐忍从家里看旧金山湾的海水，更是透顶断交了驾船出海的风尚。因为当她驶出旧金山湾时，她的爱东谈主可能正静静躺在几千米之下阴雨的海底。

2012年，卡恩斯向法院苦求，隆重宣告格雷死一火。当法庭听证会收尾后，卡恩斯向一又友和家东谈主发送了一封浅陋的两行字条，见知了这一音信。她在电子邮件中说：

“我当今在旧金山的屋子里，炉火还在燃烧，喝着茶，但愿吉姆大要安息。

网深重传的为格雷制作的缅念念片

（图片开端：youtube）

参考尊府

[1]https://amturing.acm.org/award_winners/gray_3649936.cfm

[2]https://alchetron.com/Jim-Gray-(computer-scientist)

[3]https://www.findagrave.com/memorial/16673037/james-nicholas-gray

[4]https://charleyproject.org/case/james-nicholas-gray

将“把科学带回家”

可以过每条原理科学推文！

原创著述版权归微信公众号“把科学带回家”扫数

转载请考虑：bd@wanwuweb.com

凡本公众号转载、援用的著述 、图片、音频、视频文献等尊府的版权归版权扫数东谈主扫数，因此产生考虑驱散，由版权扫数东谈主、原始发布者和本色提供者承担，如有侵权请考虑删除。