AI 摘要
快速了解本文
01
Google Antigravity Teamwork 结合 Gemini 3.7 Flash 解决七个数学开放问题。
02
该框架在 TCSBench 上达到 71% 准确率并构建出周期误差 0.71% 的 RISC-V 模拟器。
03
相关性能优化已上游合并到 Eigen 与 ParlayHash 等核心开源库中。
本摘要由 AI 辅助整理，请以正文内容为准。
数智朋克讯 Google 宣布，其 Antigravity 的 Teamwork 框架结合 Gemini 3.7 Flash，支持自主智能体团队在数小时或数天内协作解决复杂长周期挑战。
该组合在数学和理论计算机科学领域解决了七个开放问题，包括 Knuth 的 Cycles 猜想（经 Lean 验证，证明超过 40 页）、稀疏凸优化、可证明的 LLM 量化和前缀矩阵分解，并在 TCSBench 上达到 71% 的准确率。
在系统工程方面，该框架从零构建了周期精确的乱序 RISC-V CPU 模拟器，可引导 xv6 操作系统至 shell，周期对齐误差为 0.71%。
在开源软件方面，相关性能优化已上游合并到核心库，包括 Eigen 的 SIMD 快速路径，以及 ParlayHash 插入吞吐量提升 2 倍、内存减少 25%。