Albrecht Hofmann's Highlights on 'Why Mathematical Proof Is a Social Compact | Quanta Magazine' | Glasp