Human mathematics in the age of reasoning machines Akshay Venkatesh Volume III, number 1, 2025 — pp. 83–116