AI refutes 30-year-old mathematical assumption in computer science