Formal Proof Systems Reveal Overlooked Ambiguities in Advanced Mathematics

The article argues that modern mathematical literature contains subtle but significant gaps—ranging from reliance on non-canonical constructions to unstated sign conventions—and that formalisation efforts increasingly require new mathematical work to fill these holes with true rigor.