> might involve learning something new about the problem I think that's almost literally what sfink said though: > > they're creating a whole new form of proo

> might involve learning something new about the problem I think that's almost literally what sfink said though: > > they're creating a whole new form of proof that will almost certainly allow further decreases