
CoverageOct 15, 2026
An Israeli AI startup says it cracked a 38 year old graph theory bound for $2,000
doubleAI's Double Agent system claims to have pushed a graph theory girth bound from 4/3 toward 8/5 for under $2,000, verified in the Lean proof assistant.
Source: Startup Fortune
Read article





