@misc{indiciaef5f5ea80b72f,
  title = {Thinking Machines: Mathematical Reasoning in the Age of LLMs},
  author = {Andrea Asperti and Alberto Naibo and Claudio Sacerdoti Coen},
  year = {2026},
  doi = {10.3390/bdcc10010038},
  url = {https://arxiv.org/abs/2508.00459},
  note = {Source identifier: 2508.00459}
}