腾讯云:新基建大潮下国产数据库的探索与思考 | 云·创课程实录

主讲人 | 腾讯云数据库副总经理-王义成
张康 编辑整理
量子位编辑 | 公众号 QbitAI

6月中旬起,量子位发起了以数据库为主题的系列公开课,邀请来自腾讯云、浪潮、蚂蚁集团等头部企业的数据库技术线负责人,围绕数据库的行业现状、趋势与技术进展等内容,以线上直播的形式为大家带来3期分享。

6月17日第一期直播中,腾讯云数据库副总经理—王义成全面剖析了全球数据库的发展历程,同时分享了如何将云计算、新基建、数据库的能力进行融合创新,以及自主创新研发新型国产数据库技术背后的历程。此外还结合实际金融案例,详细介绍了腾讯云自研国产数据库TDSQL和TBase的产品核心架构和最佳实践。

以下是分享内容实录,直播回放链接、PPT获取方式见文末。

数据库行业发展剖析

中国数据库行业发展史

首先我们回溯一下中国数据库行业发展史。中国数据库行业的起源是在恢复高考之后(1978年),当时萨师煊老师出版了中国第一部数据库教材《数据库技术概论》,当时国防、军工等很多核心领域开始应用数据库。90年代初,中国商业数据库的格局初步形成。1989年,Oracle正式进军中国,依靠强大的生态、服务体系和产品优势,垄断了金融、电信等许多行业,占据了中国数据库市场份额的半壁江山。

2000年起BAT相继创立,而当时Oracle价格昂贵,互联网公司资金有限的情况下难以承受庞大的数据库商业费用。所以在这时,以MySQL为首的开源数据库就开始与互联网公司进行碰撞了。MySQL在互联网公司呈现了一统江湖的状态,丁奇等优秀的开源技术领袖都是在那个阶段开始逐渐涌现。

2010年4G开始大批量使用,2011年相继出现了很多优秀的互联网公司,如美团,滴滴等。到2013年这些优秀的公司开始迸发,一直到今天,这波互联网红利还在持续地演进。这个阶段是互联网百花齐放的一个阶段,消费互联网还在延展,并且正在进入消费互联网和产业互联网结合的阶段。To C领域的消费互联网,还在大批量的迸发,诸如拼多多等破千亿美元市值的公司还在出现。

所以我认为,从2013年到现在,优秀的应用、公司开始涌现之后,也迎来了业务多元化高速发展的阶段。我们也看到这些优秀的互联网公司里开始不再只是MySQL一种引擎去支撑公司的业务发展。像Postgre、MariaDB、Redis、Cassandra、MongoDB等优秀的开源数据库也都开始在这些互联网新贵的核心业务系统中承载很重要的作用。

数据库商业模式变迁

换一个维度来看,数据库的商业形态、商业模式上到底有什么样的变迁?

刚才讲到90年代Oracle数据库开始进军中国,这是一种传统商业数据库的模式,以卖license、卖服务的模式来提供商业价值。这种模式以Oracle、SQLServer、Informix、DB2为代表,这种商业模式已经存在了多年。今天早上我看了Oracle公布的第四季财报,整体收入同比下降6%;软件license的收入同比下降超过20%。从财报的数据可以看到,这种传统的商业模式正在被逐渐的侵蚀,客户的付费模式在发生变化。这时一定有新的商业模式来替换。

再看中间“百花齐放”的几个发展阶段,又可以分为三大类。第一类是老牌国产数据库,如达梦、人大金仓、南大通用等以高校为背景成立的优秀数据库公司,他们的模式跟商业数据库很像,但是他们有新的响应模式,他们切的是老的党政机关政务内网、政府等一些集中式的数据库场景。

随着时间的延伸,逐渐出现第二类—开源商用数据库,MySQL、MongoDB、Redis等优秀的开源数据库出现。但开源总归是一门生意,它是一个闭环的商业模式。国外有很多优秀的商业公司在后台运作这批开源数据库,来为用户提供更加高价值、或者企业化的服务,来完成它的商业模式闭环。比较有代表性的比如MongoDB atlas,它把MongoDB做开源之后,提供atlas云服务,也提供线下的企业版服务,来形成商业模式的闭环;而RedisLab主要是以色列人和美国人建立的,利用Redis开源软件逐渐的实现它的企业级功能,然后为用户提供服务。

第三类是新晋的国产数据库,他们的商业模式本质上没有变化,而是切入了更新的场景。比较典型的代表有PingCAP、巨杉等,他们提出的场景是出于用户的开发者高效运维的角度来切一个特定场景,然后用传统的企业软件模式或者license模式来切这部分相应的市场。

最后就是云服务模式的到来,即云服务厂商来提供相应的数据库服务。不再是提供license授权、或提供人工服务,而是采用租用模式,改变了整个数据库商业模式。比如腾讯云、阿里云、AWS数据库,都是云服务厂商基于开源数据库或者商业数据库做相应的产品化、商业化的工作,为用户提供租用数据库服务。

国产数据库布局

上述我们了解了近30到40年数据库行业在商业模式上的大变迁。下面我们聊一下国产数据库的布局。在中美贸易战背景下,包括类似Matlab软件使用限制事件发生后,国内有很大的声音在呼吁做自主可控的“中国芯”核心组件。而我们认为,IT基础设施三个最核心的组件,一个是服务器/芯片,一个是操作系统,另一个就是数据库。

国产数据库有哪些商业模式和应用场景?

第一类是传统国产数据库,由高校系的老师带领团队做产品化和商业化的运作,比如达梦、金仓等,更多的是贴合集中式数据库场景,他们的具体客户案例以集中式数据库偏多。

第二类是互联网厂商性质的数据库(也包括华为),这类的数据库厂商就是自己使用,自己的数据库在自己的业务中做了很多的独特的打磨,然后在自己的这种大规模的并发业务中,承担了很多的流量之后,再把这样的数据库去产品化,提供给广大用户。以腾讯和阿里为代表,腾讯的像TDSQL,TBase都是支持内部的微信支付,财付通,有很大的交易流量,之后再逐步产品化,给外部用户使用。像阿里的OceanBase可能也是这样的,内部支持蚂蚁金服,然后再去逐渐的开放给广大的传统行业去使用。

第三类就是新兴的数据库,说新兴是因为他们不是一种传统高校的背景,也没有他们自己的数据库,也没有自己内部的一个场景,但是他们确实看到了用户使用上的一个痛点,从一个细分场景去切,然后逐渐的去把这种商业的盘子做大。比如像PingCAP这样的数据库,他们刚开始起步的时候,出于用户使用分布式数据库开发角度,或者说运维角度的不便利,使用传统的计算跟存储分离的模式,然后以一个统一的使用方式去调用分布式数据库,然后切到了相应的场景去做线下的产出跟商业化的操作。

第四类就是第三方平台型的数据库,这类一般是指公司在某个行业有多年积累,然后根据这个行业的特定场景做一款数据库,之后再逐步推广到其他领域,比如亚信,中兴。亚信是一个运营商行业老牌公司,对于运营商的一些核心业务系统,他们使用了适用于这些业务的数据库,再从运营商推广到其他行业,逐步的产品化。

综上,目前我们国产数据库也是一个百花齐放的状态,大致可以分为这4类。我认为第二类的数据库厂商可能是更适合于在现在的大环境,因为它毕竟是在大规模的应用上已经自己磨练出来了一套相对稳定、功能相对齐全的一套数据库,然后再去应用不同的场景,再把这样的数据库推给更多的用户,更多的行业去使用。我认为这种模式在工程化跟商业化实践中,更容易摸索出一条成功的道路。

新基建对数据库行业的机遇

第二个话题是关于新基建对于数据库行业的挑战和机会。新基建包括了大概7个领域,包括5G基站、城际高速等,其中跟产业互联网相关的,主要是5G、大数据中心、人工智能、工业互联网这几个领域,我总结新基建主要分为三个部分。

第一部分是信息基础设施,包括三部分,一是通信网络基础设施的提升,比如说5G可能有上百万个基站要去部署,整个网络的提速会非常快。二是新技术的基础设施,主要是指人工智能大数据等技术怎么去应用在新的技术基础设施上实现一个整体的提升。三是算力的基础设施的提升,主要包括在大数据中心,智能数据中心,边缘计算这些的基础设施方面的布局和建设。

第二部分是融合基础设施。一是物联网的智能交通的基础设施,其中整个的数据传导、数据汇聚、数据分析,以及在这套整体的基础设施中做的整个的产业互联网的布局的加速。二是智能能源的基础设施,就是七大领域中的工业互联网,包括这些基础的组件,数据的抽取、汇集、分析、加工,以及在整体基础设施上的全面提升。

第三部分就是创新基础设施,包括一些重大科技的基础设施的提升,然后科教基础设施的提升,产业技术包括创新科技园整个创新基础设施的全面提升。

宏观上来看新基建的7大领域会大概分为这三类,那么这些方面的提升对于数据库来说到底有什么本质上的冲击?

我认为,不管怎么变化,其实数据库的作用一个是装数据,一个是运算数据,一个是分析数据,最后是呈现数据。所以对于数据库来说,新基建和基础设施的提升主要有三个挑战:

第一,数据量会出现全面井喷的状态。在4G的模式下,AR、VR等并没有很好的用户体验,但真正到了5G时代,这些相应的基础设施能力提升之后,用户体验也会随之大幅提升,带来的问题可能就是数据量会出现井喷式增长。对于数据库来说,一方面在线交易的数据库的性能会爆发,尤其是频繁的增删改查的数据库操作。需要应对这种数据量的井喷,来满足实时的进行相应的运算。另一方面是在线分析数据库的业务性,怎么能够快速的进行在线的分析,这也会对于在线分析的数据库性能有较大的挑战。

第二是业务融合多样化的挑战。数据的呈现是多模态的,各种数据需要不同模式的数据库来承载,对于数据库来说就会滋生多模的业务需求(对于不同的数据类型、对于同样的业务接口或者指标,怎样把数据汇集和加工)。另外就是场景、部署的业务融合,新基建的领域里,有智能的IDC也有大数据中心,智能中心,有这种产业互联网融合基础设施的提升,不同的部署场景,不同的部署模式或者说不同的数据中心的部署,其实对于业务的融合也有很大的挑战。数据库是否能够接受在不同的业务中心、数据中心、基础设施之间去做相应的部署和融合,这也是未来对数据库一个大的挑战跟冲击。

第三是数据自动化治理或者数据库自动化优化层面的诉求和要求。随着中国老龄化的逐渐演变,包括人才红利的释放之后,数据库人才缺口可能会更大。对于数据库的提供商来说,就是要为用户提供多种的自动化的服务,或者说是AI类的服务。另外就是对于数据库多模的现状,数据库的厂商是否能为用户提供这种自动运维的服务,也是对整个数据自动化治理的重要挑战。

腾讯云数据库发展的整体布局和应对策略

基于这样的一个大的历史机遇,腾讯云数据库的发展布局是怎样的呢?

上图是腾讯云数据库整体的产品矩阵。最底层的数据库PaaS产品我们提供了多模的数据库:包括以MySQL为代表的关系型数据库,以Redis为代表的非关系型数据库,还有分布式的数据库来支持海量的分析、在线交易,同时还有以游戏场景为衍生的支持王者荣耀的TcaplusDB数据库。

正如刚刚说的,新的历史机遇到来时,腾讯云也有数据治理、数据自动化管理方面的数据库智能服务,提供了多种数据库SaaS产品。包括怎么去做数据的迁移、怎么去做智能的DBA优化(智能管家DBbrain),另外还有数据管理服务等七八款相应的数据库SaaS产品,配合腾讯云的数据库PaaS产品,为用户提供了全栈的数据库解决方案。

为了支撑上述产品和布局,腾讯云数据库也在北京、上海、广州、深圳、成都建立了多个数据库研发团队,有自主可控的开源分支,有中国数据库社区的主席团成员,也参与一些国家云计算的标准的制定。

腾讯云数据库的自研技术思路主要包含两个维度:

第一个维度,叫互联网类的数据库,腾讯云从自有的业务开始孵化,逐渐去做商业化的结合。所以腾讯云的数据库其实最早都是自有业务开始打磨,这些数据库在自家的业务上摸爬滚打多年,然后支持相应的定制来满足不同的用户需求。

比如财付通、微信支付,以及第一家互联网银行WeBank,都是先跑在腾讯云数据库之上,很好的支持内部业务之后;然后在合适的时间点上,我们开始跟高校的团队做相应的AI结合,像基于AI的优化器性能调优、相应的课题研究等;然后到了下一个阶段,我们把这些数据库产品化商业化之后,再给广大用户提供服务,比如公有云(拼多多、美团等)客户,也有私有云(银行、政府小程序等)客户。

第二个维度是在自主可控的研发思路上。腾讯一直秉承着先把开源在内部应用,针对自己的业务场景做相应的技术创新和突破,然后再去回馈开源,来维护开源社区里自己的分支代码,最后实现研发自主可控的思路。

上图是腾讯云分布式数据库的发展历史。我们从08年开始起步支持内部的基础业务,目前腾讯云的自研数据库支持着腾讯系全部交易类的数据。随着业务的发展,2012年开始孵化TBase产品,支撑腾讯内部的广告业务。随着腾讯向产业互联网的转型,我们也逐渐把这些云服务封装到公有云、专有云。

到2018年,我们发现在切到传统市场的时候,这些交易类数据库的用户还在使用传统的分布式存储、前端加上一个集中式的模式,来解决OLTP的并发或者扩展性的问题。所以腾讯云自研了云原生的、存储和计算分离的数据库CynosDB,后续在这个模式上会持续推进。

腾讯云数据库的布局大概分两类。从引擎的角度来说,我们会拥抱开源的两个引擎,一个是MySQL引擎,一个是PostgreSQL引擎。

从技术架构来说,一是分库分表的分布式数据库的架构,它的优势在于其性能可以无限扩展;二是云原生的分布式数据库的架构,其存储层面会有相应的Share模式,计算机节点则是相应的独立。

这就是腾讯在自研数据库的发展布局,采用Shared-Storage&shared-Nothing双架构,双引擎的双核出击方案,满足不同的业务需求,覆盖主流应用场景。

自主研发数据库TDSQL和TBase核心架构揭秘和实践

接下来从技术架构和基础功能两个角度,来分享下腾讯云数据库的构建思路和产品化演进的思路。

上图是上述讲到的水平扩展的分布式数据库架构,我们把数据分配多个分片,然后通过强大的SQL引擎来做相应的分发,并且做基层的下推,将数据下推到各个节点去做相应的数据运算,最后汇聚数据,来为用户提供可平滑扩展的分布式数据库架构。

上图是计算存储分离的分布式数据库架构。我们认为,改变用户的已有使用习惯是很难的,但是培养一个新习惯也许还可行。因此,在某些传统的商业数据库模式下,改变用户使用Oracle的模式会有相应的阻力。但是,对于传统的Oracle它还是一种Share的模式,所以我们布局了这种分布式数据库的架构,将计算跟存储分离,区别在于它是一种日志级的数据库。

我们在上层、在交换机的三个节点是纯计算节点,这些计算节点可以完全兼容MySQL或者Postgre的协议,然后数据的日志通过网络交换机下发到底层的DB节点,让底层的存储节点来感知日志,再把日志逐步的回放。

这种架构的优势是存储层面可以水平扩展,当用户拉起一个读取节点的时候,可以瞬间启动一个读取节点,不用做相应的数据重放。另一个优势是它不像Oracle模式整页刷新,也不依赖于IP交换机的模式,而是只在交换机层面去传输日志,所以基本上一个传统的万众交换机就能满足这种业务场景。因此,在整体的成本或性能上都是一种非常有性价比的技术架构。

除了技术架构的优势,再来分享一下腾讯云数据库在用户功能层面(产品化层面)的一些设计理念。我们认为一款优秀的数据库应该遵循6个特点:

1、数据强一致

腾讯云是基于主从架构的“并行多线程强同步复制方案”,以保证数据的强一致,整体上可以保证主从节点这种默认强度的模式下,性能还不亚于原生的异构同步。

从上图(英特尔公司测试数据)可以看出,TDSQL真正跑起来之后比原生的异构同步的性能还要高,其实就是要靠这种强同步的逻辑,再加上多线程的同步方案做一定的改造。

2、金融级高可用

腾讯云提供了跨机房容灾、跨地域容灾等多种模式来保证整个金融级别的高可用。在系列功能上,我们提供了多达384项监控指标、进程保护机制、系统免切机制、毫秒级切换机制等,通过SQL-Engine的路由,保证一个整体毫秒级的切换,提供6个9以上的金融级别的高可用。

3、高安全性

安全性分为事前、事中、事后三个维度:

事前是指在攻击发生之前,采取某些措施保证数据库不被黑客所攻击。腾讯云提供了传输层加密、数据层加密、权限细粒度鉴权等事前的监控策略。

事中是指真正攻击已经发起,我们需要采取一些保护策略。首先,腾讯云有内核级的安全策略、内置的SQL防火墙,我们可以配置那些安全性非常差的SQL命令,收到这条SQL命令之后,直接阻塞攻击,这也是一种内置防火墙的机制。其次是防误操作机制,比如像delete全表或者join表结构等命令,都会被系统默认过滤掉,不会真正下发到命令解析器做出相应操作。

事后是指上述操作已经被执行之后,整个产品体系有一套标准的溯源功能。腾讯云的事后安全审计策略,一方面是有全部的运维操作审计、数据库层面的审计,在不耗费性能情况下,能够将全部的数据库操作记录下来,包括读操作(比如某些数据被拖走时,我们可以查到哪个IP、在什么时间点、用什么账号、采用什么模式、拿走了哪些数据,以尽量减少数据损失)。另外还有服务器审计、超级权限控制等。

4、良好的扩展性

扩展性分为两类,一类是资源层面的扩展,一类是功能层面的扩展。

资源层面的扩展,腾讯云提供两种模式。从集中式的实例可以一键扩展到分布式实例,然后分布式实例也可以自动挂载多个分片来加分片,自动的做数据重分布、平滑的数据迁移。用户可以在刚开始使用时选择较低的配置,然后随着业务的爆发,可以直接多加分片,并且整个的操作过程是全部平滑的,对于性能的损失基本都为零。

功能层面的扩展,比如热点更新的扩展,支持更大存储的引擎(RocksDB),产品中支持这种写量超大、数据量超大的场景,以及适配于物联网的传感器数据。另外还提供了像JSON、线程池等扩展。

5、便捷的运维

便捷的运维性也有两个维度,首先我们要把运维系统做的足够便捷,其次还要基于AI、数据模型的算法,提供更优化的数据库工具,来为用户提供更加便利的功能。

运维系统方面,腾讯云为业务方提供云数据库管理系统,通过租户视角,使用者在一键化的控制台上做相应的实例申请与退还、系统监控、备份与恢复、性能优化等。同时为运维方提供运营平台,从管理员的角度,提供TDSQL的全部运维功能,可管理TDSQL集群的物理资源、调度决策系统、备份与恢复系统、可用区管理、实例管理等。

运维工具方面,腾讯云为用户提供了一套智能管家运维服务,叫DBbrain。可以支持多种数据库实例,包括MySQL、Redis、MongoDB等,通过采集它们的监控数据,然后去做相应的审计日志的上传与抽取,包括MySQL数据分析;然后基于这些整体数据,再做数据的计算跟加工,基于现在数据性能的点、数据库的日志、MySQL整体等推算出全盘的审计数据,直接做实例的诊断,告诉用户在哪个时间点、哪些SQL语句、哪些调用导致了数据库性能在什么时间点、出现了什么异常。

同时我们还在做微信端的打通,用户未来在自己的微信公众号或者微信小程序上,就可以实时的操作数据库,脱离电脑的束缚,实时通过微信小程序对数据库做相应的操作和运维。

应用案例:微众银行

腾讯云数据库经过多年的发展,支撑起网上政务、金融交付、互联网、物联网等应用。其中分享一个比较有代表性的案例—微众银行,来看下腾讯云数据库如何支撑客户的业务系统。

整体而言,银行系统有三部分比较重要,一是核心交易系统,二是数据库,三是硬件(芯片、服务器)。而微众银行不仅是第一个互联网银行,也是第一个把全部业务系统国产化的企业:由一家国内公司做核心业务系统开发,数据库跑在腾讯云数据库之上,核心交易系统采用了华为鲲鹏,整个体系都是跑在国产的自主可控的路线之上。而腾讯云的数据库TDSQL也很好的支持了微众银行全部的交易数据。

腾讯为什么要做微众银行?哪些点是新兴互联网企业、传统银行转型时所看中的?

我认为,首先是多维度的监控能力,秒级监控、数据实时推算、基于数据的汇聚为用户提供的实例分析的诊断等。其次是基于租户端或基于运维端的自动化运维能力,让用户可以自行的对数据库做相应的部署和运维。其次是多副本的强一致性,以及跨机房容灾、跨地域容灾等模式。

最后,欢迎大家关注腾讯云数据库公众号,在这里可以看到数据库领域的技术干货和应用实战案例分享,以及体验数据库智能管家DBbrain的功能,在移动端一键运维管理数据库。


传送门

直播回放链接:https://www.bilibili.com/video/BV1ff4y1y7Kr

PPT获取方式:扫码添加小助手,备注“腾讯云”~

— 完 —

本文系网易新闻•网易号特色内容激励计划签约账号【量子位】原创内容,未经账号授权,禁止随意转载。

了解AI发展现状,抓住行业发展机遇

每个工作日,量子位AI内参精选全球科技和研究最新动态,汇总新技术、新产品和新应用,梳理当日最热行业趋势和政策,搜索有价值的论文、教程、研究等。

同时,AI内参群为大家提供了交流和分享的平台,更好地满足大家获取AI资讯、学习AI技术的需求。扫码即可订阅:

AI社群 | 与优秀的人交流

量子位 QbitAI · 头条号签约作者

վ'ᴗ' ի 追踪AI技术和产品新动态

喜欢就点「在看」吧 !

相关推荐

DeepSeek V4芯模协同背后,国产算力生态开始飞轮加速

更关键的是,CANN开始逐步兼容主流AI生态。开发者每一次正向反馈、每一个优化结果、每一个创新应用,都能通过昇腾和华为的生态快速走向产业界,形成技术、商业、生态的完整闭环。之前,昇腾与不少模型进行过协同探索,但V4是第一次在大规模、高强度、工程化的尺度上,验证了这种“芯模协同”的可行性与效率。开源以后,我们能更充分地学习业界的优秀实践,在此基础上进行适配和优化,也能将一些好的经验应用到自己的项目中。可以说,从“能跑”到“有人长期建设”,从“厂商推动”到“生态自增长”,华为算力生态,正在进入新的阶段——

量子位 520

世界模型接棒语言模型,这家公司全球首创物理AGI“双金字塔”体系,通用机器人进入“家庭时代”

毕竟在现阶段,家庭场景对机器人的真实刚需,是稳当地端水、收拾餐具、抱起脏衣篮、把零食递到孩子手上,而不是在客厅里完成酷炫的跑酷动作。可以说,这支团队完整经历了CV、自动驾驶、具身基模、世界模型等物理AI过去十年的发展历程,并在每个阶段都做出了行业领先的世界级成果。该模型实现了从感知、理解到行动的完整闭环,能够自主识别物体与场景、规划路径,并执行包含抓取、对齐、折叠、归类等多步骤的。他主导了业内首个智能驾驶数据闭环系统的落地,有效提升了数据的处理效率,为智能驾驶技术的发展提供了重要的基础设施支持。

量子位 245

LeCun新证明:世界是高斯的

论文借用这个框架证明,要让转移算子的第一个特征函数恰好是仿射函数(即线性函数加常数),潜变量的分布必须满足一个非常严格的条件——它的对数密度的导数必须是线性的,而满足这个条件的分布恰好只有高斯分布。从理论角度看,对于高斯分布,描述变量如何在时间上演化的转移算子有一组特殊的特征函数,叫做Hermite多项式,它们是高斯分布下函数空间的自然正交基,类似于周期函数里的傅里叶级数。真正有用的表示,应该对应世界的真实自由度,比如物体的位置、速度、颜色这些独立的内在变量,而不是它们被观测过程扭曲之后的混合产物。

量子位 191

玻璃里跑AI!华中科大&上交大科研成果登Nature子刊

更进一步的,光本位科技还将独有的相变材料存算一体光计算方案引入玻璃光计算芯片中,利用相变材料的非易失性,能够避免在玻璃中引入额外的相移器,从而实现计算过程几乎不耗能的三维光子神经网络系统。它既解决了三五族平台器件密度不足的问题,又突破了固定场景的应用限制,相变材料的引入,使得芯片在推理过程中保持极高能效比的同时芯片参数仍然可根据不同模型实时调整,适配性更强。尽管与论文中直接在玻璃中实现三维结构有所差异,但是同样在玻璃平台上提供了三维集成的完整方案,通过单层玻璃芯片堆叠的方式最终实现相同的三维输入效果。

量子位 169

5篇AI生成的数学论文被接收!00后创始人洪乐潼融资14个亿

如果一个 AI 系统能把数学证明交给机器逐步检查,那么同样的“生成、形式化、验证”闭环,也可能被拿去处理其他学科,以及高风险决策场景。她的创业合作伙伴Shubho Sengupta也从Meta辞职,两人从AI与数学推理的交叉可能性出发,决心解决AI的幻觉问题。创始人洪乐潼,2001年出生于广州,本科MIT三年拿下数学与物理双学位,还拿过北美数学本科生的最高荣誉罗德奖学金和摩根奖。2019年,17岁的洪乐潼考入MIT,仅用三年时间便完成了数学与物理双学位的学业,本科期间就发表了9篇学术论文。

量子位 219

AI正在重写软件行业?8岁孩子做操作系统,一人公司拿下千万订单丨百度秒哒朱广翔 @AIGC2026

这些都完成之后,我们再选择分发给谁,比如百度搜索、小红书投流,或者去微信发送到私域社群里,或者说去App store上架,分发流量之后有了用户数据再去回流、去分析、去运营,指导下次迭代,形成下个循环,每个色块就是一个真人。在很多企业里,原来提需求的是业务人员,他们自身没有开发能力,将需求提到研发部门,研发部门又不懂业务人员的痛点,需要反复沟通、调整,但现在业务人员自己就可以开发软件了。我非常荣幸能从事这个赛道,因为在这个过程中、在这一年半的时间里,我不仅看到了产品的变化,还更多地看到了整个时代的变化。

量子位 429

清华有了新老师:黄仁勋

既包括科技圈顶流如马斯克、微软CEO纳德拉、Meta扎克伯格等,也不乏金融圈大拿,如摩根大通的杰米·戴蒙、贝莱德的拉里·芬克、花旗的简·弗雷泽。,使命是加强学院与外部各界的联系,提升学院在科研和教学方面的整体水平,帮助学院建设成为世界一流的经济管理学院。后来黄仁勋转学,并且一直学业成绩优异,在高中时连跳两级,16岁毕业,进入。,除了讨论学院的国际化战略和长期发展方向,也会给经管学院的学生做讲座。不过,比起这些头衔,老黄最近最出圈的,可能还是他在夜市的花式插队——可口可乐、西门子、通用汽车、BP、塔塔。

量子位 182

「斯隆奖」得主戴亮全职加盟复旦

曾担任波士顿咨询合伙人,副总裁,中国区首席数据科学家,百度研究院大数据实验室和商业智能实验室的主任,和美国俄勒冈大学计算机和信息科学系正教授(终身教职)。,覆盖面相当宽:从宇宙大尺度结构与演化,到暗物质及其通过引力透镜留下的观测信号,再到天体物理引力波。2024年起到复旦大学物理系工作,现任复旦大学特聘教授、复旦大学天文与天体物理中心主任。获奖者覆盖数学、物理、天文、计算机、经济、生物等领域,成长路线相当恐怖,很多后来成了。继袁峰、季索清之后,复旦的天文版图,再迎一位顶尖天体物理学者。

量子位 168

高分辨率视频生成不再慢半拍:让大模型保留“原味”的同时提速十余倍

为此,SURF训练了一个轻量级Refiner,它从线性上采样后的预览latent出发,学习低分辨率latent到高分辨率latent 的flow mapping,只需少量去噪步骤,就能补足高清纹理。因为这些步骤决定了视频最终“会长成什么样”,等到整体结构、主体关系和运动方向基本稳定后,SURF再将latent 下采样到低分辨率,在保留全局结构的前提下,快速完成预览。原因在于,每个预训练模型都有自己的“舒适区”,通常接近它的训练分辨率,一旦分辨率不匹配,模型原本学到的布局、语义和运动先验,就可能被破坏。

量子位 143

大模型也需要睡觉!让AI打个盹,醒来更聪明

Transformer的核心是注意力机制,但注意力有一个天生的短板就是,上下文越长,算力平方级往上蹿,KV缓存也线性往上涨。,让大模型上下文窗口快满的时候别硬撑了,打个盹把最近的上下文反复咀嚼几遍,压缩进长期权重,清空缓存,醒了再接着干。依靠可学习的局部规则,反复对信息进行提炼整合,逐步更新SSM模块内的快速权重,完成信息的深度压缩与消化。这里的“睡眠时长”,本质上就是信息迭代处理的轮次,轮次越多,代表模型对上下文内容的梳理、打磨次数越充分。

量子位 161

1400亿Agent入场,“流量”这条护城河要塌了

因为人要睡觉,但Agent不会睡觉,所以Agent时代的交易呈现7×24小时不间断、极小额、高频次、多形态的特征,此外,支付金额的最小单位可能低于1分钱,成本大幅下降。如果说担保交易解决了电商早期敢不敢买、敢不敢卖的信任问题,移动支付解决了移动互联网时代能不能随时随地交易的效率问题,那么AI支付面对的,就是Agent时代的新问题。早在今年年初,支付宝联合千问App、淘宝闪购、Rokid、大麦、阿里云百炼等伙伴,正式发布中国首个ACT协议,提供一套智能体跨终端、跨系统的“通用语言”。

量子位 164

7B打败o3、GPT-5!医学AI智能体让模型学会“看哪里、怎么看”

是上海创智学院面向下一代医学AI Agent、视觉推理与多模态大模型的青年交叉研究团队,聚焦Visual Reasoning、Agentic RL、Clinical Tools,推动模型从“生成答案”走向基于证据的观察、验证与行动。Ophiuchus的价值不只是让医学大模型多了几个视觉工具,而是让模型学会在诊断过程中主动“看哪里、怎么看、看完如何修正”。当模型能够在思考中主动回看影像、放大病灶、截取视频、验证证据,医学AI才真正从“会回答问题”走向“会进行临床视觉推理”。

量子位 164

AI越用越聪明,自主+自进化是关键拼图丨盛大邓亚峰EverMind@AIGC2026

另一方面,我们认为,未来的AI Memory的Layer(记忆层),服务的可能不仅是资深的开发者,将来很多人都会构建AI应用。我们在token节省和模型成本方面也取得了显著的效果,原因是利用强化学习的方法训练了很小的模型——我们的4B模型在记忆提取和检索使用上的效果可媲美几百B的模型,并且已有不少学术成果发表。当前,大家看到模型进展非常快,但在记忆方面的工作,今年才逐渐多起来,去年这个时候我们和行业里一些团队开始交流AI Memory,这方面的关注还非常少。的爆火,我简单谈谈我的理解。

量子位 758

让大模型“边看边改”,视觉分割准确率直接上涨9% | ICML 2026

给模型一张图、一句话,让它把目标区域的像素圈出来——听起来直接,但一旦目标含糊、被遮挡,或者需要推理才能定位,一次性猜出正确的掩码就变得相当困难。模型不再一次性输出mask,而是先观察图像、进行推理、调用视觉工具、读取反馈,再根据历史结果迭代修正,最终生成更可靠的准确掩码。而RSAgent总体框架如下,包括多轮交互、工具调用、观察反馈、cold-start SFT与agentic RL。痛点不是单纯追求更复杂的分割头,而是让模型在开放语义任务中具备“先判断、再行动、看反馈、再修正”的能力。

量子位 183

OpenAI挖来了个F1级别车手搞公关

在我职业生涯早期,我曾效力于红牛车队,参加过F1级别的职业比赛。后来无论是Salesforce、ServiceNow,还是现在的OpenAI,他几乎每一次跳槽,踩中的都是技术范式切换最剧烈的时候。毕竟现在的OpenAI,既是全球最炙手可热的AI公司,也是最复杂、最难做品牌管理的公司之一。当年从赛道退下来后,他没有选择一条更稳妥的路,而是直接跨进了一个与赛车几乎毫无关系的行业,从零开始做市场与品牌。Salesforce后来之所以能从一家卖CRM的软件公司,变成云计算时代的行业代表,这是很重要的一步。

量子位 148

5秒完成3D场景编辑,北大&港中文&上海AI Lab搞出VGGT-Edit,120倍加速太炸了

尤其是在添加家具、调整位置、修改材质这些复杂任务中,很多传统方法仍然会出现明显的“贴图感”和几何漂移,但VGGT-Edit生成的结果,会明显更像一个真实稳定的3D空间。而这件事,可能比“会生成3D”本身更重要。对于机器人、AR/VR、空间智能这些方向来说,这几乎是致命问题——这些场景真正需要的,不是“某一个角度看起来对”,而是整个3D世界始终稳定一致。对于原生3D编辑来说,这一步非常关键——模型真正需要学习的,不只是“图像变化”,而是同一个编辑,在不同视角下如何始终保持空间一致。但问题也恰恰出在这里。

量子位 153

触觉具身来了个梦之队:天使轮近亿

背靠产学研与地方政策双重加持,作为复旦大学与静安区战略合作的重要落地成果,公司在初创期便获得静安区科经委与市北高新集团的大力培育,先后获得静安区战略性资金及上海市经信委促进产业高质量发展专项资金的支持,上海市科委也针对其核心视触觉传感器的研发给予了专项经费支持,全面加速公司的技术攻关进程。能够夹起衣物,却无法实时感知布料的滑移状态与张力分布,难以完成精准的褶皱整理。对于后发企业而言,沿着先行者的轨迹亦步亦趋难以实现突破,唯有找到行业尚未解决的核心难题,从新的技术变量切入,才能构建起不可替代的竞争壁垒。

量子位 163

DeepSeek陈德里开发自动研究Skill,写一篇论文人类只动脑2小时

论文共迭代6次(V1:4 次,V2:1 次,V3:1 次),总耗时6天,进行了约108轮Agent调用,消耗64.8万token,写了2234行LaTeX代码。,智能体可自主选题、分配资源、长期积累知识、跨领域持续研究,是当前未实现的理想状态,核心瓶颈为持续知识积累、可靠自我评估、架构规模化。早期智能体框架CAMEL、AutoGen、MetaGPT等为代表,特点是分工协作、多视角纠错,成本较高,沟通易混乱。,人类仅提供研究目标、评估最终成果,智能体可完成多步实验、代码、论文撰写,但无法自主选择研究问题。

量子位 191

双榜SOTA!微软ACL2026新作重新定义AI长记忆

结果它找到了Boston和San Francisco,却完全遗漏了Detroit——因为“attended a conference in Detroit”被埋藏在一条长消息中,与“去过哪些城市”的语义相似度不够高。最终,System-1确保语义直接匹配的记忆不遗漏,System-2确保结构相关但语义距离较远的记忆被覆盖,两者。团队认为,真正的AI记忆应当是有组织的、可推理的、双模式的、并能持续进化的。记忆系统的质量,很大程度上取决于“存储时做了什么”,而不仅仅是“检索时怎么找”。

量子位 179

将DSA注意力引入多模态,快手Keye2.0开启强化推理新范式

情感与主题的深度升华:模型并没有停留在“建雪雕”的表层,它提取了画面中巨大的“振兴东北”刻字,关联了片中“老程盼女儿、小李回流家乡”的人物背景,在总结中直指故事内核:“极寒的温度冻不住东北人的热血,冰雪项目不仅是奇观,更是承载着东北人振兴家乡、呼唤游子归乡的炽热情感与现实路径。当接收到“请找出视频中的高光时刻,并给出你的依据,时间戳用[mm:ss]的形式来表示”的指令时,Keye-VL-2.0- 30B-A3B没有陷入传统AI“哪里有击杀提示就截取哪里”或“只看画面元素剧烈变化”的机械逻辑。

量子位 186

专治世界模型幻觉!ECCV 2026 Workshop征稿,Sergey出席,帝国理工等联合发起

ergey Levine(UC Berkeley)、Jiajun Wu(Stanford)等国际顶级学者做特邀报告,同步举办具身动作世界模型挑战赛,以及主题为From Synthesis to Deployment:Bridging Academic and Industry Focuses on World Models的圆桌讨论,旨在弥合学术界在世界模型合成方面的进展与工业界对部署需求之间的差距。世界模型作为智能体的内部模拟器,在执行前预判风险、规避危险,实现风险感知决策。

量子位 191

卡帕西Anthropic最新头衔:技术员工(MTS)

但尴尬的是,这些案例的争议其实很大,都被吐槽过说没有宣传的那么美好,所谓扁平会变成隐性权力,表面没老板,实际有老员工、核心圈层……头衔都一样,竞争对手就没法通过头衔判断谁是L7谁是L5,推断一个员工具体做什么方向,定向挖人的难度直接上升。一个很直观的事实是,整个商业史上,能在没有层级制度的情况下完成规模化的组织,一只手数得过来。后来离开Ins,自己做了个新闻聚合App,叫Artifact,同样是联创+CTO的标签。这些说不在意职称的,一旦离职,就开始在领英自称上「副总裁」了(hehe)。

量子位 79

把VLM塞进隐式世界模型,港大&小鹏机器人新框架让机器人长出物理直觉

通过将人类的姿态对齐到机器人的动作空间,双系统能够共同从多样的人类动作数据(如EgoDex)中汲取养分:System-2负责从人类视频中提取通用的任务逻辑,而System-1则从人类动作标签中蒸馏通用的运动先验。借鉴认知科学中的双系统理论,不仅让强大的VLM直接在其原生的ViT特征空间中进行轻量化的隐式世界建模(Latent World Modeling),更关键的是,它将这种隐式视觉预见构建为一个可微的结构化瓶颈。System-1则在真实未来特征的指导下,专心学习从感知到精准动作的映射。

量子位 97

留给人类数学家的悬赏不多了!谷歌DeepMind一口气解决9道埃尔德什问题

同时,AlphaProof Nexus还在OEIS整数序列百科里证明了44个开放猜想,在代数几何那边解决了一道希尔伯特函数对数凹性的15年悬案,凸优化那边改进了一个锚定梯度下降法的理论边界。这个结果或许也在预示着,未来随着大模型能力持续升级,复杂的多工具组合系统,可能不再是刚需,只用大模型+专业校验工具这套简单循环,就能搞定大多数数学难题。简单理解就是,这群数字之间,既不能一个数整除另一个数,也不能一个数整除另外两个数的和,同时数字还要分布得相对密集,不能只挑寥寥几个数投机取巧。

量子位 127

龙虾之父教你省钱:开源Skill给你的Skill减肥

严格遵循Codex计费规则(UTF8字节数/4向上取整),以模型上下文2%为默认技能预算基数,结合技能优先级排序规则(系统技能>内置技能>插件技能>仓库自定义技能),核算全量技能原始占用令牌、最小渲染令牌、预算内可用令牌。同时可模拟真实运行场景,计算预算不足时的技能描述截断字符数、被省略技能数量,精准输出预算使用率、剩余预算、上下文占用比例等核心指标,直观展示技能体系的资源负载情况。跨Codex内置库、插件缓存、代码库、个人技能根目录,扫描同名技能、描述/内容高度相似的重复技能,标记冗余项。

量子位 84

刚刚,国产AI自己造了AI,全球首例!

在MMLU-Pro、MMLU-Redux、AIME-2025、AIME-2026、BFCL-v4、AA榜单等项目上,也给出了对应成绩。我们完全可以给不同的模型、不同的硬件、不同的任务,分别写专用的代码。如果人不够,那就用AI来凑!更直白一点说,就是当AI写代码的成本越来越低,未来软件不一定非要做成一套通用大框架,也可以针对不同模型、不同硬件、不同任务,现场锻造一套专用代码。这也让MiniCPM5-1B的价值更明确了,它不只是一个小尺寸模型,而是一个在参数规模、部署成本和实际能力之间重新找平衡点的端侧模型。

量子位 638

画数独、烧蜡烛都不翻车了?浙大&阿里让AI先三思再下笔|ACL 2026

让模型画 “数独解完后的样子”、“蜡烛燃烧6小时后的状态”,开源模型要么出现逻辑幻觉,要么无法把文字指令转化为精准视觉操作,形成难以跨越的执行鸿沟。研究者设计了一个独立的Thinker模块,它不直接生成像素,而是充当大脑,负责将模糊的用户意图分解为分层、结构化、且对下游生成器友好的中间表示。阶段,Thinker产生的多条推理路径直接由生成图像的视觉质量打分反馈,这迫使模型放弃空洞的辞藻,转而学习生成“视觉可执行”的指令。这种双向反馈机制,真正实现了脑与手的深度协同。

量子位 62

0.9B跑出90%真机成功率!上海交大为VLA补上空间感

从多视角RGB提取紧凑的隐式深度表征,再以轻量方式融入视觉-语言通路,最后通过flow-matching动作专家输出连续动作。参数,不额外增加硬件负担,用紧凑的隐式深度编码把空间感写进VLA策略里,仿真与真机同时兼顾性能与部署效率。论文中,IDEM骨干约0.13B参数,并结合多视角深度预训练初始化,在轻量条件下引入与深度相关的归纳偏置。值得注意的是,相比只关注benchmark分数,论文也给出了部署侧开销与实时性指标。从RGB学几何,省了硬件,但不少方案依赖较重的基础模型,训练和推理成本偏高。

量子位 81

Grok最新模型吃上Cursor「加餐」,马斯克:Coding实现巨大改进

Cursor数据其实更可能告诉模型,开发者在真实项目里,是怎么描述需求、定位问题、让AI读上下文、修改文件、修复报错、再继续追问的。更大的模型容量,往往能让它更好地理解复杂上下文、进行更长的链式思考,以及处理更具挑战性的真实开发任务~要知道,毕目前承载Grok所有生产流量都由0.5T的v8-small模型,也只有0.5T的大小。用户输入需求后,Grok Build不会直接动手,而是先制定详细执行计划,让用户确认后再执行。这边,也被马斯克亲口点名,补充训练里加入了大量Cursor数据,后续还会继续添加。

量子位 113

刚刚,国产Agent模型闯入全球第一梯队!限时免费

从训练的第一天起,它的目标就不是聊天,而是干活。就像我在实测中感受到的那样,做完桌宠它问你要不要存成Skill,做完周报它提醒你设成定时任务,昆仑万维瞄准的显然不只是一个模型,而是一整套Agent工作生态。发现没,自从模型进入Agent时代后,大部分玩家在推主力模型时都会附带一个轻量版,这也很好理解,就像前段时间Snapchat前机器学习工程师说的那样:。一只小猫,能在屏幕上随机溜达,点击会说打工人语录,右键能切工作模式和摸鱼模式,工作模式带番茄钟倒计时,还要有喝水提醒、远眺提醒、拉伸提醒这些健康功能。

量子位 534
上一篇: 两年伯克利数学博士毕业,蝉联阿里数学竞赛金奖,张钺:我就是个普通人
下一篇: 无人车激光雷达第一股:Velodyne选择借壳上市,估值18亿美元
QbitAl
QbitAl 企业官方账号 企业官方账号
博客等级 码龄7年 2万+粉丝 2173原创
评论 1
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付:10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值