@misc{indiciaef1b8b7ff5f68,
  title = {On AI and Progress in Mathematics: Dreaming a Mathematical Universal Machine},
  author = {Vincent Runge},
  year = {2026},
  url = {https://arxiv.org/abs/2610.35263},
  note = {Source identifier: 2610.35263}
}