This summer, we are working through Jared Lichtman's recent proof that the primes achieve the maximal Erdős sum over primitive subsets of the natural numbers.
Quanta Magazine had a very nice article describing the theorem (formerly a conjecture of Erdős) which is the inspiration for this project. The article is here.
I will be posting notes on our conversations. The most important thing to understand: this project is about the journey and not the destination. We may not (probably won't!) get all the way through the paper. Along the way, we will take plenty of detours and excursions.
