{"slug": "ai-solves-20-year-old-conjecture-in-graph-theory", "title": "AI solves 20 year old conjecture in graph theory", "summary": "Researchers Sepehr Assadi, @mangooqwq, and an unnamed collaborator have proven that a 10-line greedy algorithm achieves the optimal approximation ratio for semi-streaming matching, solving a 20-year-old conjecture in graph theory. The proof, presented on arXiv, demonstrates the algorithm's optimality for semi-streaming matching problems.", "body_md": "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", "url": "https://wpnews.pro/news/ai-solves-20-year-old-conjecture-in-graph-theory", "canonical_source": "https://twitter.com/marsxiang_/status/2079276968047153337", "published_at": "2026-07-20 19:10:57+00:00", "updated_at": "2026-07-20 19:23:01.513620+00:00", "lang": "en", "topics": ["artificial-intelligence", "machine-learning", "ai-research"], "entities": ["Sepehr Assadi", "@mangooqwq", "arXiv"], "alternates": {"html": "https://wpnews.pro/news/ai-solves-20-year-old-conjecture-in-graph-theory", "markdown": "https://wpnews.pro/news/ai-solves-20-year-old-conjecture-in-graph-theory.md", "text": "https://wpnews.pro/news/ai-solves-20-year-old-conjecture-in-graph-theory.txt", "jsonld": "https://wpnews.pro/news/ai-solves-20-year-old-conjecture-in-graph-theory.jsonld"}}