https://scottaaronson.blog/?p=10116

“We think theorists should embrace these AI theorem provers in our research”

“There is also a tremendous human cost of this upheaval … which this proposal does not address directly (we do not have any good ideas as such)”