GenAI_PGR_declaration_examples.pdf
maths.ox.ac.uk · 1,635 words · saved by 1 readers
N/A
Example 1 — Minimal or no substantive GenAI use Declaration of generative AI use I confirm that I have read the University and MPLS Division guidance on generative AI and have complied with it in preparing this thesis. I have not used generative AI to generate mathematical content, proofs, theorem statements, examples, code, figures, literature-review text, or any substantive part of the argument. I used standard local software tools for spelling, grammar, LaTeX syntax checking, reference formatting, and code diagnostics. These tools made only local corrections and did not generate or…
saved by
related reading
- Departmental policy on use of AI_CR_Oct25maths.ox.ac.uk
- Leiden Declaration on Artificial Intelligence and Mathematicsleidendeclaration.ai
- Vibe physics: The AI grad student \ Anthropicanthropic.com
- The fall of the theorem economydavidbessis.substack.com
- Lab AI Policy | Todd Gureckistodd.gureckislab.org
- Thoughts on AI in academiatheinfinitesimal.substack.com
- Embracing change and resetting expectationsunlocked.microsoft.com
- A recent experience with ChatGPT 5.5 Pro | Gowers's Webloggowers.wordpress.com
- Thoughts — Jason Weijasonwei.net
- [2608.02859] The crisis of AI-generated mathematicsarxiv.org
- [2608.16753] Mathematics in the age of AIarxiv.org
- GitHub - swyxio/ai-notes: notes for software engineers getting up to speed on new AI developments. Serves as datastore for https://latent.space writing, and product brainstorming, but has cleaned up canonical references under the /Resources folder.github.com