@misc{indiciaec9a8f192f1ab,
  title = {Artifical intelligence and inherent mathematical difficulty},
  author = {Walter Dean and Alberto Naibo},
  year = {2024},
  url = {https://arxiv.org/abs/2408.03345},
  note = {Source identifier: 2408.03345}
}