(I more or less do have the background to read these things, but it's super off-putting to start the article about a crazy new proof from a Fields medallist with an introduction to manifolds.)

In a world where your academic colleagues will only pay attention to your paper if it comes with a Lean or Coq proof (or at least an MM sketch), we would not be in a "it will take years just to understand the paper" type situation.

The title of the paper would then be: "Birational Invariants from Hodge Structures and Quantum Multiplication: the source code".

Other major offender in that space is Mochizuki's [1] "Inter-universal Teichmüller theory".

The very name of the work uses words that make no sense in common English.

[1] https://en.wikipedia.org/wiki/Shinichi_Mochizuki