References
Sven Delarivière
with Van Kerkhove, B. (2017)., The "artificial mathematician" objection: exploring the (im)possibility of automating mathematical understanding, in B. Sriraman (ed.), Humanizing mathematics and its philosophy, Basel, Birkhäuser, pp. 173-198.