# AI solves 20 year old conjecture in graph theory > Source: > Published: 2026-07-20 19:10:57+00:00 a 10-line algorithm is optimal for semi-streaming arxiv, lean, ai methodology and use below sepehr assadi, @mangooqwq, and i recently presented a proof that the greedy algorithm achieves the optimal approximation ratio for semi-streaming matching https://t.co/jVGP3NF5K6