Skip to content
DraconiticResearch
Search Sources API
203,234 studies31 sourcesUpdated 49 min ago
PreprintCC BY 4.0arXiv

Human Variations on AI Mathematics

  • Junyan Cao
  • Mihai Paun
Open at sourcePDFDOICite

Abstract

This article is motivated by the OpenAI manuscripts "Minimal metrics and interior injectivity for nef adjoints" and "Log abundance in characteristic zero". We establish a jet comparison for metrics with minimal singularities and use it to prove a dlt-type extension theorem. Combined with geometric arguments from the latter manuscript, this yields an alternative analytic proof of its Theorem~3.1.

Related

  1. The Dialectical Theorem: The future of universities, mathematics departments, and training of human mathematicians
    Thomas Koberda, Alex Kontorovich
    arXivPreprintarXiv licenceFull textGeneral mathematicsarXiv
  2. What professional knowledge of mathematics do CLIS teachers need?
    Teresa Assude, Jeannette Tambone, Aliette Vérillon
    La nouvelle revue de l'adaptation et de la scolarisationPeer-reviewedLicence not statedFull text7 citedGeneral mathematicsHAL
  3. Domain-Specific Mathematics Performance of Grade 8 Students: Evidence from a K to 12 Achievement Test
    Raymart Gorosin, Laila Teressa Bersoto, Febraida Mendiola +3
    Psychology and Education: A Multidisciplinary JournalPeer-reviewedLicence not statedFull textGeneral mathematicsHAL
  4. It is time for a New Deal for mathematics
    Nestor Guillen
    arXivPreprintCC BY 4.0Full textGeneral mathematicsarXiv
  5. The crisis of AI-generated mathematics
    Max Weinreich
    arXivPreprintarXiv licenceFull textGeneral mathematicsarXiv

Cite

BibTeXRIS
BibTeX
@misc{cao2026human,
  title = {{Human Variations on AI Mathematics}},
  author = {Junyan Cao and Mihai Paun},
  howpublished = {arXiv},
  year = {2026},
  month = nov,
  doi = {10.48550/arxiv.2611.03225},
  eprint = {2611.03225},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2611.03225},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - Human Variations on AI Mathematics
AU  - Junyan Cao
AU  - Mihai Paun
PY  - 2026
DA  - 2026/11/02
PB  - arXiv
DO  - 10.48550/arxiv.2611.03225
UR  - https://arxiv.org/abs/2611.03225
AB  - This article is motivated by the OpenAI manuscripts "Minimal metrics and interior injectivity for nef adjoints" and "Log abundance in characteristic zero". We establish a jet comparison for metrics with minimal singularities and use it to prove a dlt-type extension theorem. Combined with geometric arguments from the latter manuscript, this yields an alternative analytic proof of its Theorem~3.1.
ER  -