Ein mathematisches Problem, das nicht gelöst werden kann.

Möglicherweise haben Sie den Satz "Was keine Lösung hat, ist gelöst" gehört. Das Konzept mag auf viele Dinge im Leben zutreffen, aber es ist nicht die Art von Phrase, die uns einfällt, wenn wir an exakte Wissenschaften wie Mathematik denken, oder? Es stellt sich heraus, dass kanadische Theoretiker zum Stillstand gekommen sind, den nicht einmal die modernste künstliche Intelligenz lösen kann.

Tatsächlich hatten Kurt Gödel und Paul Cohen bereits 1931 bewiesen, dass nicht alle mathematischen Probleme lösbar sind. Nicht weil sie unglaublich schwierig sind, sondern weil sie wirklich keine Antwort haben.

Das Prinzip gilt für künstliche Intelligenz, einschließlich solcher im Zusammenhang mit maschinellem Lernen (z. B. wenn Facebook oder Google Personen auf Ihren Fotos erkennen). Dies liegt daran, dass die KI auf Mathematik basiert, so dass sie theoretisch studiert werden kann - sie hält sich jedoch auch an ihre Regeln.

Die erwähnte Untersuchung ergab, dass ein Problem mit der Bezeichnung „Schätzen des Maximums“ Ähnlichkeiten mit der noch ungelösten „Kontinuitätshypothese“ aufweist. Das Problem betrifft eine Schätzung der Anzahl potenzieller Besucher von Websites und die Maximierung der Anzeigenlieferung an diese.

Obwohl die Vorstellung von "ungelöst" etwas extrem erscheint, warnen die Forscher, dass die Antwort auf die "Kontinuitätshypothese" für viele mathematische Probleme nicht relevant ist. Daher sollte die gesamte Situation keine größeren Probleme für das maschinelle Lernen mit sich bringen, das sich im Laufe der Jahre weiterentwickelt.