神话破灭!AI 复刻人类不过级数据库,4.6万测试全过,却被一条SQL打回原形!|翻译|代码|源码|postgresql_网易订阅
时间:2026-08-10 02:47:22 来源:换骨脱胎网

“如果不选定该选什么数据库,神话试全先用 PostgreSQL 准没错。破灭”PostgreSQL 源于 1986 年加州大学伯克利分校的复刻 POSTGRES 项目,历经近四十年的人类往往代,因其极致的不过被条可靠性、数据完善性、数据库超强扩展性以及对 SQL 原则的测l网高度合规而享誉业界,被誉为“世界上最先进的回原开源关系型数据库”。时间来到2026年,形翻AI 编程能力越来越强,译代易订阅一个管理过 PB 级数据的码源码 PostgreSQL 集群的数据库专家Michael Malis,产生了一个大胆的神话试全想法:PostgreSQL 已经发展了几十年,历史包袱越来越重。破灭为什么不借助大模型,复刻把它重新设方式一遍?人类这件事情不那么点儿,只精通数据库不行,于是他找了一个有 AI 背景的朋友 Jason Seibel, 两人合作,准备大干一场。经过 3 个月的折腾、4 次大版本往往代、烧掉 10 万美元的 API 费用后,他们终于推出了 pgrust :一个用Rust 重写的 PostgreSQL。pgrust 发布的成绩单堪称神迹:完全兼容:基于 PostgreSQL 18.3,甚至可以直接挂载现有的 Postgres 18.3 数据目录启动!满分通关:100% 通过了 PostgreSQL 官方回归测试套件(46,000+ 个测试),连极难搞定的事务隔离测试也全过!性能狂飙:在 OLTP 事务型负载下比原版快 50%;在 OLAP 探究型查询下,性能直接飙升 300 倍!这些数据看起来太厉害了,因此一旦发布,立刻就在HackerNews上掀起了热烈讨比如。AI 真的这么强了吗? 都能写“真正”的数据库了吗?很快,一位数据库领域的大神出手了。Andreas Seltenreich 是 SQLsmith 的作者。SQLsmith 是 PostgreSQL 社区特别著名的 SQL 模糊测试工具。它不像往往见不鲜测试那样实施固定 SQL,而是像一个疯狂的机器人:不断随机生成各种复杂、诡异、人类几乎不会手写的 SQL,然后丢给数据库实施。目的只有一个:拷打数据库,尽量把它搞崩溃。就在 pyrust 发布后不久,Andreas 最初测试它,仅用一条SQL,就把pyrust打回了原形:SELECT numrange_subdiff(1,1);在 PostgreSQL 中正常返回 0然而pyrust 直接返回:Segmentation fault !进程访问了非法内存,被操作系统强制终止。这件事情有点儿讽刺,因为 Rust 最大的卖点之一,就是内存安全。结荚一个“以 Rust 内存安全为题卖点”的数据库,在处理 C 版本 PostgreSQL 可以正常处理的 SQL 时,却发生了内存崩溃。当然,这不是Rust的状况,这是重写的状况。01四次“盖新房”我们来看看 pyrust 是怎么创造出来的, Michael Malis 和 Jason Seibel 的 10 万美元是怎么花掉的。1.首先次尝试:拿着验明正身盖新房方式:把PostGreSQL按功能分类,让 AI 为每个子系统开展设方式、开发。刚最初开展特别惊人,很快实现 96% 的 回归测试率。然而,Rust版本抽象出的数据模型与原版 PostgreSQL C 语言的模型不相同,当推进到最复杂的 Query Planner(查询规划器,约 5 万行题逻辑) 时,这种隐性矛盾彻底爆发。拿着一个验明正身盖新房,外观功能都一样,但内部墙体管线和老宅不兼容,装不下老宅的中央供暖主机(Planner),砸墙重建成本过高,放弃。花费:~1600$第二次尝试:全量机械翻译方式:用c2rust这个工具,把PostgreSQL C源码直接转为Rust。结荚特别震撼,两天生成了530 万行 Rust,测试100% 通过,甚至PostgreSQL 扩展也能兼容!然而代码完全不可维护,转译出来的 530 万行代码中,所有变量和函数参数基础都是 *mut 或 *const 裸指针,同时必须包裹在 unsafe 块中。把 C 语言里的潜在风险,换了一种方式搬到了 Rust。相当于把老宅整体搬过来,试图原位把木头一根一根换成钢筋。结荚一动其中一根题木头(裸指针),整座房子就因为承重依赖全塌了。花费:成本可忽略第三次尝试:重新设方式方式:建立一个全新的干净代码库,仅把 c2rust 转译出的代码和 C 源码作为 AI 的“参考蓝本”。把 Postgres 拆成 ~1000 个 Rust Crate,让 AI 逐个 Crate 重新用纯正的 Safe Rust 从零编写。构建了AI 技能与动态工作流,让 AI 组团(数十/上百个 Agent 并发)去分工编写、审方式和修复各个 Crate。然而不一样的 AI Agent 在独立重构不一样 Crate 时,对同一个 C 数据类型的翻译完全发散了!相当于看着老宅图纸,在旁边一块砖一块砖盖全新的钢筋混凝土新房。费用:~50000 $第四次尝试:加入严格审方式方式:采取了“缝合点优先”对策(把致命隐患消灭在萌芽状态),把前三次尝试产生的所有代码、架构经验,以及一本详尽的技术债日志全部喂给 AI。与此同时,大幅升级了自动化审方式条件,专业让 Agent 巡检“缝合点类型是否发散”、“代码是否顺应 Rust idiomatic 原则”。依然是让上百个施工队(Dynamic Workflows)同时盖全新的钢筋混凝土大楼,但这次旁边配备了极度严苛且精密的施工监理(Audit Skill)。费用:~50000 $02AI为什么不行?这四次尝试,最后达成了文章开头描述的成效,听起来特别厉害,特别震撼。人类花了30年才搞成的事情,AI 用10万美元,3个月就搞定了。然而,“通过 100% 的官方回归测试”与“具有工业级数据库的可靠性”之间,隔着一条难以跨越的鸿沟。Andreas 的测试正好验明正身了这一点,除了那个Segmentation Fault之外,Andreas还发现了好几个其他状况,例如MERGE 语句内部错误、 查询改进器内部状态异常、二进制数据输入没有完善验明正身等这些状况验明正身:把 PostgreSQL 翻译成 Rust,并不等于重新获得 PostgreSQL 30年的可靠性。数据库太复杂了,同时运行在极其复杂的硬件、内存和并发环境下,那 46,000 个测试,能保证主流馗能跑通,但根本无法穷尽复杂的死角。过去30年的bug修复、测试经验、社区反馈、边界案例等宝贵的知识并没有完全涵盖在其中。可能有人说,如果回归测试特别改进,涵盖了各个犄角旮旯的东西,而pyrsut通过了这些所有的测试,是不是就可以和postgresql媲美了?我觉得很难,一部分是数据库功能太多,很难穷尽;另一部分有很多东西回归测试难以覆盖,例如性能、内存占用、首先时间稳固性、升级兼容性等。写这篇文章的时候,我想起之前写过的一篇文章:《》,里面讨比如的是 Linux 内核维护者面临的状况。两个故事其实很像,Linux 内核也好,PostgreSQL 也好,它们真正珍贵的东西,并不仅仅是代码。几十年时间里,无数 Bug 修复、失败经验、线上事故、工程取舍、知识沉淀...... 这些东西隐藏在代码背后。AI 可以高效高效阅读代码,可以生成代码,甚至可以实现令人震惊的大规模重构。然而,它还无法生成几十年的工程经验。
-
002827,控股股东拟变更!股价8天7板_新浪财经_新浪网跟卡卡师出同门!15岁巴西足球未来之星,比赛中遭枪击身亡|圣保罗|里卡多·伊泽克森·多斯·桑托斯·雷特_网易订阅你喜欢怎样的旅游?自然风景越来越少,同质化千篇一律人为造景!|人文景观|自然景观_网易订阅民主党要翻车?极左派攻陷摇摆州,候选人全面反超,特朗普危险了|民调|共和党|参议院|唐纳·川普|美国大选结果|唐纳德·特朗普_网易订阅大家在公示期,嘴能有多严?网友:我上班一年才告诉别人我考上了|闺蜜|灌酒|不公平_网易订阅长沙楼市让人看不懂!北辰三角洲从2.9万下降到1.5万,普通人该清醒了|房源|江洋|江景|长沙市|全年二手房均价_网易订阅火箭如何守住争冠基本盘 四控卫内卷直指核心困境?_赛季_申京_斯玛特恒隆集团及恒隆地产董事长陈文博:对市场前景保持审慎乐观|物业|房地产|恒隆广场_网易订阅上下半场实际补时均超10分钟,铜梁龙vs海港比赛时间超长|马塔|点球大战_网易订阅琉璃塔下“桃花朵朵开”!寻个有缘搭子一起夜游看展|风铃|鸡鸣寺|大报恩寺_网易订阅
相关内容
- ·后防阻碍了皇马的上限-西甲-皇马专区-虎扑社区
- ·专访致公党党员任忠鸣:深耕高温叶片技术 助力航空强国
- ·43岁香港男星在西班牙海滩被当地男人搭讪多次,太受欢迎!|影展|触电|tvb|戛纳电影节_网易订阅
- ·从“想去看看”到“说走就走” “中国游”热度持续升温|旅行|免签|度假|玛丽亚|出国游|热门目的地_网易订阅
- ·[流言板]每体:马雷斯卡的表态不代表罗德里转会受阻,巴萨保持冷静-国际足球-国际足球资讯-虎扑社区
- ·记者手记|迦太基海角上的一抹蓝白|大海|配色|突尼斯|地中海|阿尔及利亚_网易订阅
- ·[流言板]开拓者高管谈引进莫兰特:有时候你必须孤注一掷-NBA新闻-虎扑社区
- ·他是王昆之子,坐牢10年出狱,娶了陈凯歌妹妹,79岁活通透了|洪晃|周巍峙|郑绪岚|王昆(歌唱家)_网易订阅
- ·东莞莞城细村片区城中村改造项目备案复核通过 总投资10亿元|东莞市|旧村改造|城市更新项目_网易订阅
- ·锐评:四大原因导致郑钦文低谷,真的别再用“打不上”骗自己了!|法网|罗马|华盛顿|巴格达蒂斯|哈维·纳瓦罗_网易订阅
- ·他曾被视为津门虎夏窗离队热门!本轮却逆袭爆发,送出绝杀助攻|国足|中超|邵佳一|职业联赛_网易订阅
- ·出狱人员纷纷吐槽:如今坐牢,和几十年前大不一样!说出来不敢信|服刑|犯罪|监所|监狱|监区|死缓_网易订阅
- ·横滨神反转!张本美和逆转赢球,赛后发言惹争议,对比哥哥太刺眼|陈熠|向鹏|张本智和|横滨冠军赛_网易订阅
- ·三代人都是隐秘汉奸!高志凯敲响警钟:要彻查潜伏的亲日隐患!|宣扬|侵略者_网易订阅
- ·陈天强油画描绘蓝调渔船港湾,演绎海洋劳作气息|桅杆|船身_网易订阅
- ·89个项目接连撤场,国资接管物业,暗藏两大隐患!|物业服务|物业公司|方式催交物业费_网易订阅
最新内容
- ·“陇超”总决赛燃爆天水!天水“龙城宝贝”携秦州大樱桃TIFO艳惊全场!|足球|tifo_网易订阅
- ·A股:下周一开盘前,3句大实话!3832点或许是个反弹终点?|a股|信号|普涨_网易订阅
- ·[流言板]西蒙斯:在我年轻打不上球时,胡德&特纳教我去胜任角色球员-NBA新闻-虎扑社区
- ·徐亮撂狠话:下届2034杯坚决不干,给足董路面子却撕开青训遮羞布|中国足球_网易订阅
- ·库马斯:进球迟早会到来的;这是我身体感觉最好的一次季前赛|足球|利物浦|高强度_网易订阅
- ·探讨各队补强操作,谁能够延续NBA群雄争霸的格局?-NBA专区-虎扑社区
- ·泰晤士:斯塔维利财团1.5亿镑收购西汉姆联25.1%股份|沙利文|戈尔德|纽卡斯尔队_网易订阅
- ·浙大通知书到手,家长一算账沉默了:12万和5300差在哪?|学费|新生|大四|在读生_网易订阅
- ·[流言板]奥莱报:梅西一家在公墓进行仪式告别豪尔赫,现场安保严密-国际足球-国际足球资讯-虎扑社区
- ·乌克兰称俄“小包裹”导弹量产,装中国发动机重点打乌港口|乌方|乌军|弹头|无人机|先进武器_网易订阅
推荐内容
热点内容
- ·上季19球、世界杯4场3球,热刺有意美国前锋巴洛贡,或低价引进|热刺队|摩纳哥|阿森纳|英格兰_网易订阅
- ·3大筹码追10号秀,湖人锁定26岁内线!4项能力适配1短板难忽视|公牛|史密斯_网易订阅
- ·正式确定!超级后卫空降CBA赛场,加盟浙江男篮|cba|青岛男篮_网易订阅
- ·[流言板]石俊辉抢断反击上篮打进,高丽大学剩1分钟领先白鸽大学4分-CBA-CBA专区-虎扑社区
- ·想要杀死一个原创软件,有多简单?|插件|录屏|app|studio|企业级产品千问_网易订阅
- ·利物浦名宿汤普森:伊劳拉应享受执教红军时光|曼联|克洛普|洛夫伦|乔丹·汤普森|巴黎圣日耳曼_网易订阅
- ·机械ETF国泰份额三年缩水逾六成,近一年涨近17%但溢价处高风险区_新浪财经_新浪网
- ·特朗普:在伊朗和中东多国请求下,同意取消打击伊朗,有关各方已初步达成协议框架,包括立即全面开放霍尔木兹海峡以及消除伊朗核威胁|伊拉克|唐纳·川普|唐纳德·特朗普_网易订阅
- ·3-3!切尔西爆冷平东南亚弱旅 争议锋霸点射双响 双方屡次激烈冲突|英超|点球|伊斯拉|德拉普|切尔西队_网易订阅
- ·111岁还能做家务!她的“长寿秘诀”就藏在4个习惯里,简单到让人意外|奶奶|五世同堂_网易订阅
