On: Proof of geometric Langlands conjecture so complex almost no one can explain it

[thaumasiotes]

It's very common to track how many different axioms are needed for some result, and consider results with lower requirements to be more fundamental. "Less complex", probably not so much, but the issue is something that a number of people care about.

[tux3 → thaumasiotes]

Very common might vary by area. If you work near the foundations, I could see that, sure.