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.