19:10
2026-07-20
twitter.com
artificial-intelligence
AI solves 20 year old conjecture in graph theory
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-o…