Relatedly, I think where I land is that the (current) challenge for humans is creating such oracles. AIs have patience and compute we can only dream of—I think someone estimated 100,000 person-years were spent on Navier-Stokes—but they still need a “reality” to measure against.