GenDB-V：AI智能体生成并形式化验证数据库引擎

Jiale Lao 与 Immanuel Trummer 发表论文提出 GenDB-V，让 AI 智能体针对特定硬件和工作负载合成数据库引擎，以提升性能，并对生成的代码做形式化验证以检查正确性。 论文称，该系统同时覆盖数据库引擎的生成和生成代码的形式化验证，目标是得到适配特定硬件和工作负载的引擎。

AI 根据报道生成 · 3 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。