Computer scientists combine two 'beautiful' proof methodsquantamagazine.org119 pointstambourine_man2 years ago