Wir finanzieren den Beweis. Wir leiten nützliche Energie in einen globalen Supercomputer, der alles und jedes beweisen wird.