At this stage, yes, it's naive. The ideas and techniques here are pretty much completely new, and it will take years, if not decades, for people to understand them deeply enough to find the essential core of what's happening.
No, they are not overly long. It's likely that papers explaining them will effectively be an order of magnitude (base 10) longer.
Comments
Is it naive to say these proofs are overly long - that there's something a little simpler behind them?
At this stage, yes, it's naive. The ideas and techniques here are pretty much completely new, and it will take years, if not decades, for people to understand them deeply enough to find the essential core of what's happening.
No, they are not overly long. It's likely that papers explaining them will effectively be an order of magnitude (base 10) longer.