cc Quanta which has some nice background explainer:

https://www.quantamagazine.org/without-a-proof-mathematician...