Artifical intelligence and inherent mathematical difficulty

Walter Dean, Alberto Naibo

This paper explores the relationship of artificial intelligence to the task of resolving open questions in mathematics. We first present an updated version of a traditional argumen…