@article{thinkingmachinesmathematicalreasoningint,
  title = {Thinking Machines: Mathematical Reasoning in the Age of LLMs},
  author = {Andrea Asperti and Alberto Naibo and Claudio Sacerdoti Coen},
  year = {2025},
  eprint = {2508.00459},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2508.00459},
}