标签:图灵机

40年图灵机难题被业余玩家攻破,陶哲轩:软件辅助证明改变数学研究规则

一水 发自 凹非寺量子位 | 公众号 QbitAI40多年的计算机难题——忙碌海狸难题,被一群业余爱好者攻破了! 数学大佬陶哲轩转发了这一消息,并欣慰表示: 这再一...
阅读原文

AI助攻「菜鸟数学家」解决忙碌海狸问题,陶哲轩转发分享

机器之心报道 编辑:大盘鸡、佳琪‍‍‍‍在 AI 的帮助下,越来越多的数学问题得到了解决。AI在数学领域的应用对大家来说并不陌生了。数学家陶哲轩作为倡导者,一...
阅读原文

陶哲轩转赞!40多年「忙碌海狸」数学难题获突破,4万行Coq代码立大功

新智元报道编辑:编辑部 【新智元导读】「忙碌海狸」难题困扰了计算机科学家40多年。如今,来自全球各地20+业余开发者和数学家们,终于取得了突破性进展。他...
阅读原文

大模型时代,图灵的影响力依旧 | Q福利

“Sometimes it is the people who no one imagines anything of who do the things that no one can imagine.” 在谈到人类智慧与机器智能的交汇时,我们无法...
阅读原文

图灵逝世七十周年:重新认识那个群星闪耀的时代|甲子光年

微风有时送来一个信号。作者|甲小姐 今天是图灵逝世70年。在我心中,图灵是一个节点式人物。从计算机的基本思想(图灵机),最初概念的摸索(人工智能是什么...
阅读原文

图灵完备与目标完备:从通用计算机到通用人工智能的预言

导语正如计算机逐渐演变成图灵完备的通用计算机,未来的通用人工智能AGI最终会趋于“目标完备性”:它优化实现任何其他人工智能的目标的能力,类似于通用图灵机...
阅读原文

多 Transformer 集合可挑战 GPT-4,推理能力是单一Transformer 的 18 倍

ICLR 匿名研究:单一 Transformer 不具备图灵完备性,但多 Transformer 可以。作者丨郭思、赖文昕 编辑丨陈彩娴 Transformer 自 2017 年出世以来就在 AI 领域...
阅读原文

图灵和冯·诺依曼的遗产:生命计算机的架构

来源:返朴撰文:Hashim M. Al-Hashimi翻译:汪显意审校:小木球编辑:梁金在通用图灵机的基础上,数学家冯·诺依曼进一步发明了自复制机器,回答了生物学中最...
阅读原文