Artificial Intelligence and Inherent Mathematical Difficulty Open Access. - Dean, Walter; Naibo, Alberto (Philosophia Mathematica, 2025)