9位数学家、横跨30余年、5篇论文共计800+页……几何朗兰兹猜想，终于被证明！它是朗兰兹纲领的几何化版本。朗兰兹纲领被视为现代数学研究中最大的单项项目，被称为“数学的大统一理论”。它提出数论、代数几何、群表示论这三个独立发展的数学分支之间其实密切相关。费马大定理被完全证明，就得益于对朗兰兹纲领的应用。安德...

世界最强AI集群，马斯克建成了！这一爆炸消息，由老马在推特上亲自官宣。当地时间凌晨4:20，由xAI、X和英伟达等合力打造的孟菲斯超级集群已开始投入训练。它由10万块H100组成，是目前世界上最强训练集群！这一规模已远超世界最强超算Frontier。xAI的创始成员紧随其后表示：1年前我们成立这家公司时，目标是实现三个优势...

每4天就有一位高管人事变动。这就是最近半年，激烈竞争下，国内车企人事变动的密集程度。在传统车企中，70后开始走上前台，执掌权柄，年轻的只有46岁，便就任国内销量第一车企的总裁大位。自主品牌和新势力中，高管也是密集变阵，甚至多位联合创始人卸下要职，默默离场。时代的潮水，推动着人才流转，今天在这里，以公开...

今天，第四范式先知AIOS 5.1版本正式发布。该版本新增GPU资源池化（vGPU）能力，实现对硬件集群平台化管理、算力资源的按需分配和快速调度，最多节省80%的硬件成本，提高GPU综合利用率多达5-10倍。

百度IDG智能汽车业务部总经理苏坦，确认离职。苏坦加盟百度超10年，此前的主要经历是车联网相关，伴随百度车联网业务从创立到兴起，收获大量车企合作伙伴。后来负责智舱业务，不久前还曾现身北京车展，出席百度相关活动。最近毫无征兆地，离职了。百度智舱负责人苏坦离职苏坦离职的消息，最早由新智驾曝光。智能车参考求...

既省资源，又提升效率的不可能任务，真能在端到端自动驾驶上实现！今年计算机顶会CVPR 2024入选论文中，来自北京理工大学计算机学院团队，拿出了一项“全球首次”的成果：“蒸馏”一下，端到端自动驾驶系统性能，直接提升一倍左右。而且这样的提升，完全不以牺牲系统可靠性或增加成本为代价。就是既要又要。解决了什么问题自...

7月18日，唐山松下产业机器人有限公司（下称“唐山松下”）与北京小雨智造科技有限公司（下称“小雨智造”）的战略合作签约仪式在唐山松下总部圆满完成。松下产业机器有限公司总经理桥山祐一郎、执行副总经理柳铮，小雨智造创始人兼CEO乔忠良、联合创始人兼副总裁李川等领导共同出席了签约仪式，双方均对本次合作寄予厚望并...

不用H100，三台苹果电脑就能带动400B大模型。背后的功臣，是GitHub上的一个开源分布式AI推理框架，已经斩获了2.5k星标。利用这个框架，几分钟就能用iPhone、iPad等日常设备构建出自己的AI算力集群。这个框架名叫exo，不同于其他的分布式推理框架，它采用了p2p的连接方式，将设备接入网络即可自动加入集群。开发者使用exo...

超逼真的机器人小镇来了！在这里，机器人可以像人一样在超市里购物：买菜回家做饭：在办公室里接咖啡（旁边还有人类同事）：不只有人形机器人，机器狗、臂式机器人也在这个“城市”里穿梭自如。这就是由上海AI实验室最新提出的首个模拟交互式3D世界：GRUtopia（中文名：桃源）。在这里，由多达100k个交互式、带精细注释的...

苹果最新杀入开源大模型战场，而且比其他公司更开放。推出7B模型，不仅效果与Llama 3 8B相当，而且一次性开源了全部训练过程和资源。要知道，不久前Nature杂志编辑Elizabeth Gibney还撰文批评：许多声称开源的AI模型，实际上在数据和训练方法上并不透明，无法满足真正的科学研究需求。而苹果这次竟然来真的！！就连NLP科...

万万没想到，Mac变成AI PC，原来就差了一个豆包电脑版。例如想要在B站上学习科技新进展，现在的打开方式是这样的——在豆包电脑版里，用AI看视频：将近15分钟的视频，“啪的一下”，各种重点内容全部给你总结好了：当然，AI大模型的“基本功”也是具备的，你可以边看视频边提问（哪里不会问哪里）：如此一来，在B站学习知识这...

7月22日，阿里巴巴淘天集团的“顶尖人才T-Star计划“正式启动。该项目延揽全球前沿技术领域的竞赛、学术和实战高手，为这些“天才少年”提供顶尖技术课题、算力资源、研发平台资源，和百万年薪起步、“大牛主管”专属培养的顶配成长空间。

7月17日晚，国际基础科学大会的“计算机之夜”活动成功举办。该活动吸引了众多计算机科学领域的专家学者，共同探讨最新的科研成果和技术应用。致辞环节丘成桐先生作为大会主席首先致辞。丘先生强调，科学的发展需要大量的数据处理和深刻的科学见解，而这些都离不开计算机的支持。他指出，计算机科学和人工智能的发展为基础...

随着人工智能（AI）与物联网（IoT）技术的深度融合，AIoT（AI+IoT）正以前所未有的速度改变着各行各业，迈入“通感智值一体化”的2.0时代，传统的生产模式被彻底改变，想象的空间被不断打开，新业态、新模式、新场景、新动能不断涌现。

BlazeBVD团队 投稿量子位 | 公众号 QbitAI家人们，消除“视频闪烁”（比如画面突然一白）有新招了！回想一下，当你看一部老电影或者用手机拍摄的视频时，画面偶尔会出现闪烁或颜色不一致等现象。为了消除这些，来自美图影像研究院、中国科学院大学，以及四川大学的研究人员提出了一种新算法。新算法“BlazeBVD”可以自动消除...

意外！全球奥数终极对决，第65届IMO，中国队以2分之差，憾失团体第一……卫冕失败，“五连冠”被终结。此次中国6位选手共摘得5金1银，总分190分，团体排名第二，位列美国队之后。中国队共计在IMO上拿下过24次第一；过去连续5年，中国队都坐上了团体冠军的宝座，堪比乒乓球一样的统治力。但现在，王座易主，“中国二队”上位。...

iPhone不让电话录音，创业者们就给它加个GPT版录音「物理外挂」！在国外众筹平台Indiegogo上，一款能贴在iPhone背面的“AI卡片录音机”，接入大模型那种，卖出去600万美元。（据说全网销售额超1000万美元。）今年的CES上，微软CEO纳德拉，还跑到这产品的展位上去围观过。这款名为Plaud Note（以下简称Plaud）的AI硬件，首...

陶哲轩在国际数学奥赛IMO上亲自给一支AI团队颁奖！怎么回事？一同举办的AI数学奥林匹克竞赛，让大模型做IMO级别的竞赛题。获奖团队Numina，在不公开的50道测试题中成功解决了29道，与第2-5名方案明显拉开差距。NuminaMath-7B模型，也一举成为数学推理方面最好的7B模型之一。更重要的是，获奖后团队宣布，从模型到数据到...

家人们，见证历史了。微软蓝屏（BSOD）的消息毫不夸张地登顶各大热搜、热榜，全球打工人被迫狂欢喜提1天休假。然而随着事件的发酵，导致这次全球最大IT宕机的罪魁祸首也逐渐浮出了水面。不过非常drama的是，“元凶”竟然是一家网络安全巨头，CrowdStrike。是自称能拥有检测网络威胁“最快平均时间”的那种实力选手，《财富》...

地表最强性能怪兽，压轴登场。车圈知名赛车手雷军，在刚刚结束的其第五次年度演讲上，列数据，晒照片，金句频出。他首次完整披露造车心路历程，讲述背后大量细节：车企CEO力劝自己造车，拒绝分拆高估值的诱惑，考赛车驾照学漂移…..最终还曝光了小米SU7 Ultra原型车，性能超越三千万布加迪豪车。以下为演讲亮点盘点：一起...

上海交通大学GAIR团队最新研究表明，在常识理解、数学推理和代码生成等复杂任务中，AI经过多轮“自我提升”后，可能会出现一种称为“自我提升逆转”（self-improvement reversal）的现象。

4颗128线激光雷达，这是萝卜快跑新车型确定的传感方案。萝卜快跑在武汉引发的关注还在继续，因为第六代车型RT6正在陆续投放。之前的讨论，更多地是围绕乘坐体验，以及早已曝光的“发票价”：20.46万元。而传感器方案，此前也透露，跟马斯克的纯视觉方案不同，走融合感知路线，采用4颗激光雷达。最近有供应商出来“认领”，把...

免费不限次/免登录，贾扬清团队的Elmo插件再次升级——第一个支持端侧模型的Chrome插件。这下，Elmo插件“断网”也能用了：【此处无法插入视频，遗憾……可到量子位公众号查看～】据了解，Elmo插件调用了Chrome本地模型Gemini nano，大小为12MB。这一更新（v0.3.2）目前处于Early Preview（早期预览）阶段，Chrome商店正在审核...

并且这次话题焦点，是OpenAI不仅再树新标杆，还一出手就把性价比卷爆了——直接把此前大受开发者好评的Gemini 1.5 Flash和Claude 3 Haiku给碾压了。

OpenAI突发新模型，全面取代老去的GPT-3.5。GPT-4o mini，能力接近原版GPT-4，价格却要便宜一个数量级：每百万输入tokens，15美分（约1.09元人民币）每百万输出tokens，60美分（约4.36元人民币）在ChatGPT应用中，GPT-3.5已经完全退役，免费用户已可使用GPT-4o mini模型。对应的API也已经开放，支持128k输入tokens（图像...

做设计，光靠创意还不够。画好了草图，还要勾线稿、上色才能看到完整效果；拿到了产品，还得有环境、模特才能拍摄效果诱人的样品图…就不能坐在家里动动手，让AI替我干杂活，把想法直接变成现实吗？这次量子位邀请到了李白人工智能实验室的苗哺雨——既是建筑设计师，也是神采PromeAI的产品经理，将与我们一起来实测神采Pro...

MR-Ben团队 投稿 量子位 | 公众号 QbitAI大模型测试能拿高分，实际场景中却表现不佳的问题有解了。贾佳亚团队联合多家知名高校提出了一种全新的测评方法，让一些模型立马现出了原型。这下不用担心大模型“刷题”太多，测试集无法体现真实水平了。这个新的测评数据集叫做MR-Ben，利用的是GSM8K、MMLU等数据集中的现有题目。...

克雷西 发自 凹非寺 量子位 | 公众号 QbitAI只需激活60%的参数，就能实现与全激活稠密模型相当的性能。微软亚洲研究院的一项新研究，实现了模型的完全稀疏激活，让推理成本大幅下降。而且适用范围广泛，无论是从头训练、继续训练还是微调，都能提供有效支持。该方法名为Q-Sparse，在神经元级别上实现了模型稀疏化，相比...

让大小模型相互博弈，就能实现生成内容可读性的提升！这是来自OpenAI的正经研究，目标就是在保证准确率的同时，让模型输出更容易被人理解。用这种方法训练之后，人类对模型输出的判断准确率明显增长，速度也变得更快了。这项研究出自OpenAI已解散的“超级对齐”团队，模仿了多伦多大学学者与2021年提出的“证明者-验证者”（...

好家伙！为了揭秘Transformer内部工作原理，陈丹琦团队直接复现——第一个经典聊天机器人ELIZA。ELIZA编写于20世纪60年代，主要用于心理治疗，在当时似乎已经能“听懂”人说话。比如下面这个例子：可以看出，ELIZA的对话方式“有点狡猾”，像极了看似认真实则敷衍的好闺蜜好兄弟~由于表现出了早期语言模型行为，且算法简单，团...