arXiv (All)
open access
Ascertaining Learning: Generative AI, the Proxy Problem, and Cognitive Competence in University Mathematics
For decades, university mathematics assessed executable procedure, computing and reproducing standard proofs, as a proxy for the understanding it cared about, because procedure was cheap to mark and understanding was not. Generative AI now executes much of this procedure. It does not merely let stud
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- Mathematics Graduate Training in the Age of AI#1035101
- Graduate Mathematics in the Age of AI: Forming Mathematicians for Original, Independent, and Responsible Inquiry#1037574
- Advancing Mathematics Research with AI-Driven Formal Proof Search#216859
- Statistical Theory in the Age of Machine-Assisted Mathematics: Rethinking How Theory Is Made and Taught#927767
- Generative AI and Mathematical Reasoning: Evaluating the Accuracy, Justification, and Proof Quality of AI-Generated Mathematics Solutions#1189720
Record · ID 1199118
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive