@gwozniak @jwcph @aral @fredb @martin Mathematics is one place where there might be some useful results, specifically because proofs are testable.
However most interesting advances in mathematics are choosing the right definitions to build stuff from, not provinces something that was hard to prove. And I'm skeptical shuffling existing proof techniques according to statistical models will yield a lot of new results.