I don’t think we’re likely to relax the problem until we find a counterexample that seems like a fundamental reason why the original problem wasn’t possible.
I continue to think that this is a mistake that locks out the most promising directions for solving it. It’s a well-known constraint that models are generally underdetermined, so you need some sort of structural solution to this underdetermination, which you can’t have if it must work for all models.
I continue to think that this is a mistake that locks out the most promising directions for solving it. It’s a well-known constraint that models are generally underdetermined, so you need some sort of structural solution to this underdetermination, which you can’t have if it must work for all models.