The Philosophical Prospects of Large Language Models in the Future of Mathematics online version, Dec. 31, 2025
Volume III, number 2, 2025 — online version, 38 p.
proof assistants
This proof which is not one: the problem of individuating mathematical proofs and its impact on their evaluation online version, March 30, 2026
Volume III, number 2, 2025 — online version, 34 p.