TY  - RPRT
TI  - Thinking Machines: Mathematical Reasoning in the Age of LLMs
AU  - Andrea Asperti
AU  - Alberto Naibo
AU  - Claudio Sacerdoti Coen
PY  - 2026
DO  - 10.3390/bdcc10010038
UR  - https://arxiv.org/abs/2508.00459
ID  - 2508.00459
ER  -