标签:程序

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

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

第一批“AI原住民”小学生,正在用大模型搞开发

允中 发自 凹非寺量子位 | 公众号 QbitAI当成年人还在焦虑AI什么时候抢走自己饭碗时,第一批AI原住民的“小孩哥”已经步入NEXT LEVEL。 做个小程序解决自己在现...
阅读原文

“防御性”编程弱爆了,我选择“进攻性”编程

Hello,大家好,我是 JioNLP。 应该都听说过防御性编程吧? 程序员们为了防止被裁员,需要把程序写得乱糟糟的: 要么是层层抽象,每一层都特别难理解,搞得其...
阅读原文

大模型对语言有自己的理解!MIT论文揭示大模型“思维过程” | ICML 24

克雷西 发自 凹非寺量子位 | 公众号 QbitAI大模型对现实世界,可以形成自己的理解! MIT的一项研究发现,随着模型能力越强,它对现实的理解可能不仅是简单模...
阅读原文

DeepMind科学家万字分享:50个AI提效用例详解,工作中我是这么用AI的

文章作者是 DeepMind 的机器学习专家 Nicholas Carlini,不同于别人的介绍 AI 应用实例的文章,这次 Nicholas Carlini 详细讲解了自己在日常中如何使用 ChatG...
阅读原文

被 AlphaGo 击败的李世石,用 8 年重建崩塌的世界

和 AI 共存共创 的围棋世界输给 AI,有种感觉是,我整个世界都塌了。 李世石在最近接受《纽约时报》采访时说道。 2016 年,这位曾 14 次获世界冠军的韩国棋士...
阅读原文

初创公司硬刚英伟达:在AMD卡上模拟CUDA,原版程序直接编译运行

克雷西 发自 凹非寺量子位 | 公众号 QbitAI无需任何修改转换,AMD显卡也跑起原版CUDA程序了! 英国一家初创公司,推出了针对AMD的CUDA程序编译工具,而且免费...
阅读原文

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

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

看张手绘草图就能合成图形程序,加州伯克利让扩散模型掌握新技能

机器之心报道 编辑:Panda事实证明,扩散模型不仅能用于生成图像和视频,也能用于合成新程序。假设我们给模型一张手绘的「5」状图形,它就能通过不断突变来修...
阅读原文

悬赏800万的超难测试集,被GPT-4o实现新SOTA,准确率已达50%

克雷西 发自 凹非寺量子位 | 公众号 QbitAIGTP-4o挑战悬赏八百万的超难数据集,实现SOTA! 数据集当中包含了各种类型的图形推理题目,被挑战发起者预言“大模...
阅读原文

实测零一万物“万知”:手机2分钟生成PPT,秒读数十万字文档,但财报解读不太准

直播预告 | 5月28日10点,「智猩猩AI新青年讲座」第236讲正式开讲,密歇根大学安娜堡分校在读博士生张挥杰将直播讲解《利用多级框架和多解码器架构提高扩散模...
阅读原文

实测零一万物“AI特助”:手机2分钟生成PPT,秒读数十万字文档,但财报解读不太准

又一款日常搜索AI利器来了,专业问答和移动办公两手抓。 作者|ZeR0 编辑|漠影 智东西5月9日报道,国内AI大模型独角兽企业零一万物本周二发布了其首款一站式AI...
阅读原文

阿里1号AI「员工」上岗,007写代码助攻大厂程序员!炸掉祖传屎山代码,Java丝滑改Python

新智元报道编辑:编辑部 【新智元导读】阿里云最近入职的这位新员工,程序员们看了拍手叫好!每天,它都有数百万行代码被采用,单日推理次数超两千万。007敲...
阅读原文

刚刚,英伟达发布新规:其他硬件禁止使用CUDA!

新智元报道编辑:alan 好困 【新智元导读】最近,英伟达在CUDA 11.6的用户许可中明确表示,禁止其他硬件平台上通过翻译层运行CUDA!这一招震惊了AI圈,也让AM...
阅读原文

再登Nature!DeepMind大模型突破60年数学难题,解法超出人类已有认知

来源:量子位 作者:克雷西 用大模型解决困扰数学家60多年的问题,谷歌DeepMind最新成果再登Nature。 作者之一、谷歌DeepMind研究副总裁Pushmeet Kohli表示:...
阅读原文
12