RecodeX 重构消息，以色列AI初创公司doubleAI的Double Agent系统声称，将图论中的围长（girth）上界从4/3推进至8/5，相关结果已在Lean证明助手中完成验证。该系统由Mobileye联合创始人Amnon Shashua打造，整个研究过程花费不到2000美元。