But ML models soon will have ability to decompose solutions and recombine them. This with added causality and generation of test data might make them quite powe

But ML models soon will have ability to decompose solutions and recombine them. This with added causality and generation of test data might make them quite powerful. I think domains that will get actually solved first due to this are programs/maths as usually it's easier to verify solutions that to devise them. For other stuff you would have to simulate the universe. That's why for example self driving cars basically record everything and will simulate all possible scenarios especially these based on disengagement data.