I’m sure it would allow new lines of attacks because we would be able to test hypotheses for larger sets of integers. But the proof surely requires insight before processing power.