Computer scientists prove that a 40-year-old algorithm is optimal | Heykuki News