I was referring mostly to > This proof is just checking the boxes for mathematicians There are already quite a lot of summaries of the story that lead to the

I was referring mostly to > This proof is just checking the boxes for mathematicians There are already quite a lot of summaries of the story that lead to the solution, and the impact that the intermediate results have had.