https://econforeverybody.com/2023/09/10/when-computers-write-proofs/