show/hide this revision's text 2 added 22 characters in body

I think the main statements of the MMP (Minimal Model Program ) in algebraic geometry qualify for this.

It will even become more of a black box in the future, as people will understand better how to apply it.

show/hide this revision's text 1 [made Community Wiki]

I think the main statements of the MMP (Minimal Model Program ) qualify for this.

It will even become more of a black box in the future, as people will understand better how to apply it.