Stephen Wolfram – Erfinder des Computeralgebrasystems 'Mathematica' – gibt einen Einblick in die Grenzen und Potenziale von KI in der Wissenschaft.
helfen kann, bestimmte Berechnungsprozesse zu "überspringen" und abzukürzen. Es gibt jedoch auch viele Situationen, in denen es stattdessen darum geht, einen Prozess zu beschleunigen, den man als multikomputationalen Prozess bezeichnen könnte, bei dem es in jedem Schritt viele mögliche Ergebnisse gibt und das Ziel beispielsweise darin besteht, einen Weg zu einem bestimmten Endergebnis zu finden.
Bei automatisierten Beweisen von Theoremen ist es auch üblich, "von den Anfangspropositionen abwärts" und "von den endgültigen Theoremen aufwärts" zu arbeiten, um zu versuchen, den Treffpunkt der Pfade in der Mitte zu finden. Zudem gibt es eine weitere wichtige Idee: Hat man erst einmal das Lemma etabliert, dass es einen Weg von X nach Y gibt, kann man X Y als eine neue Regel in die Sammlung der Regeln aufnehmen.
Dies legt jedoch einen anderen Ansatz nahe. Statt zu versuchen, die KI "sofort die gesamte Sequenz ausfüllen zu lassen", soll sie stattdessen nur auswählen, "wohin sie als Nächstes gehen soll", wobei sie stets einer der angegebenen Regeln folgt. Es ist jedoch nicht sicher, wie gut dies funktionieren wird. Das neuronale Netz könnte einen beliebig weit "vom Kurs abbringen" und sogar zu einem Knoten führen, von dem aus es keinen Weg zum Ziel gibt.
Deutschland Neuesten Nachrichten, Deutschland Schlagzeilen
Similar News:Sie können auch ähnliche Nachrichten wie diese lesen, die wir aus anderen Nachrichtenquellen gesammelt haben.
Missing Link: Stephen Wolfram über die Rolle der KI in der Forschung (Teil 1)Stephen Wolfram – Erfinder des Computeralgebrasystems 'Mathematica' – gibt einen Einblick in die Grenzen und Potenziale von KI in der Wissenschaft.
Weiterlesen »
Missing Link: Chinas neue Autoindustrie zielt auf den elektrischen WeltmarktIn der E-Mobilität gelingt China zunehmend die Produktion weltmarktfähiger Produkte. Ziel ist der europäische Markt, vor allem aber der Globale Süden.
Weiterlesen »
Watzmann : Sehnsucht nach den Bergen – Stephan WolframDer Watzmann ist das Wahrzeichen Berchtesgadens. Der höchste Gipfel ist die Watzmann-Mittelspitze mit 2713 Metern.
Weiterlesen »
Watzmann : Sehnsucht nach den Bergen – Stephan WolframDer Watzmann ist das Wahrzeichen Berchtesgadens. Der höchste Gipfel ist die Watzmann-Mittelspitze mit 2713 Metern.
Weiterlesen »
Watzmann : Sehnsucht nach den Bergen – Stephan WolframDer Watzmann ist das Wahrzeichen Berchtesgadens. Der höchste Gipfel ist die Watzmann-Mittelspitze mit 2713 Metern.
Weiterlesen »
Team 'Tatort' gegen den Quizduell-OlympDie Stars Luise Wolfram und Jasna Fritzi Bauer im
Weiterlesen »