Work

Human Variations on AI Mathematics

Year: 2026
Type: preprint
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.
Language: English
Open Access status: green
OpenAlex ID: W7225140473
Cites:
Cited by:
Related to: 10