Comment Comment by AlDante2 It was the proof they formalised, not the conjecture. parent AlDante2 1 month ago