One of the few mathematicians not fazed by all this is Doron Zeilberger, who has given his computer (which he names Salosh B Ekhad) co-author status since 1990. He is a bit of a contrarian, but a serious mathematician. He co-invented/discovered Wilf-Zeilberger pairs. Some of his opinions:
On the Leiden declaration: https://sites.math.rutgers.edu/~zeilberg/Opinion196.html
On proof: https://sites.math.rutgers.edu/~zeilberg/Opinion174.html