man muss aber auch dazu sagen dass das "durchprobieren" von exponenten gar nicht so abwegig ist. stellt euch doch mal eine formel vor, die bisher noch niemand beweisen konnte, und die auch sagen wir für die erste paar hundert milliarden exponenten stimmt. und jetzt auf einmal wird ein effizienter algo gefunden (oder ein quantencomputer realisiert), mit dem man die ersten hundert billiarden exponenten effizient überprüfen kann, und siehe da - für den 523 billiardensten exponenten gilt die formel auf einmal nicht mehr! dann kann man es sich auch direkt sparen, weiter zu versuchen, die formel zu beweisen, da man ja ein einziges gegenbeispiel gefunden (und meinetwegen auch hundertfach verifiziert) hat, und das genügt ja.