Add a expert human in the loop, e.g. Terence Tao and this might be feasible.