2013年图灵奖得主 Leslie Lamport 专访:程序员需要更多的数学知识 Leslie Lamport可能并不是一个家喻户晓的名字,但对于计算机科学家们来说,他是一些耳熟能详的「名字」幕后的贡献者。比如Paxos算法、排版程序LaTeX、规格语言TLA+、「面包店算法」和... 网站建设# lamport# leslie# 分布式系统 5年前550
图灵奖得主Hinton:我已经老了,如何控制比人类更聪明的AI交给你们了 还记得大牛们就“AI是否可能灭绝人类”,分成了两大阵营吗? 由于并不理解为啥“AI会造成风险”,吴恩达最近开启了一个对话系列,去找两名图灵奖得主聊聊: AI究竟存在哪些风险? 有意思的是,在相继和Yo... 人工智能# 图灵奖 2年前210
图灵奖得主,超算Top 500榜单创始人:机器学习太过依赖GPU了! 最近,美国计算机科学家,图灵奖获得者Jack Dongarra表示,机器学习的硬件正在被我们大量使用。 这是一个不争的事实。 和任何一个机器学习的开发人员聊聊天,你就能发现,运行或者建立一个GPT模型... 人工智能# 图灵奖 2年前180