Webtagr - Technologienummer

Jenseits von Katzengehirnen: Die Grenzen der Kognition mit größeren Gehirnen erforschen

2025-05-28

Dieser Artikel untersucht den Zusammenhang zwischen Gehirngröße und kognitiven Fähigkeiten, insbesondere welche neuen kognitiven Fähigkeiten entstehen könnten, wenn die Gehirngröße die des Menschen bei Weitem übersteigt. Ausgehend von den jüngsten Fortschritten bei neuronalen Netzen und großen Sprachmodellen und unter Einbeziehung von Wissen aus der Berechnungstheorie und der Neurowissenschaft analysiert der Autor, wie Gehirne große Mengen an sensorischen Daten verarbeiten und Entscheidungen treffen. Der Artikel argumentiert, dass Gehirne "Taschen der Reduzierbarkeit" innerhalb der berechnungstechnischen Irreduzibilität nutzen, um in der Welt zu navigieren, und größere Gehirne könnten in der Lage sein, mehr solcher Taschen zu nutzen, was zu stärkeren Abstraktionsfähigkeiten und einer reicheren Sprache führt. Schließlich untersucht der Artikel die Möglichkeit von Bewusstseinszuständen, die über das menschliche Verständnis hinausgehen, und die potenziellen Höhen, die KI erreichen könnte.

(writings.stephenwolfram.com)

KI

Das Spiel des Lebens: Eine sechs Jahrzehnte umfassende Chronik der technischen Innovation

2025-03-19

Dieser Artikel erforscht fast sechs Jahrzehnte der „Meta-Engineering“-Entwicklung in Conways Spiel des Lebens. Der Autor zeichnet den Innovationsbogen von einfachen statischen Strukturen bis hin zu komplexen Rechenmaschinen nach und analysiert dabei die Rollen von „Erfindung“ und „Entdeckung“ (entsprechend manueller Konstruktion und algorithmischer Suche) und untersucht Konzepte wie Modularität und berechenbare Irreduzibilität. Durch die Analyse der Entwicklung verschiedener Strukturen wie Oszillatoren, Gleiter und Gleiterkanonen werden Muster in der technischen Innovation des Spiels des Lebens aufgezeigt und mit der biologischen Evolution verglichen, was eine einzigartige Perspektive auf die Natur des technologischen Fortschritts bietet.

(writings.stephenwolfram.com)

Technologie Spiel des Lebens Meta-Engineering berechenbare Irreduzibilität

Können wir diesen Beweis verstehen? Ein Einblick in die formalisierte Mathematik

2025-01-10

Stephen Wolfram untersucht ein seit langem bestehendes mathematisches Rätsel: den Beweis eines überraschend einfachen Axioms für die Boolesche Algebra. Der mit automatisiertem Theorembeweisen erzeugte Beweis ist unglaublich komplex und bleibt für Menschen unverständlich. Der Artikel erforscht die Komplexität des Beweises, seziert seine Operationen auf „Maschinencode“-Ebene und stellt eine Herausforderung dar: diesen Beweis zu humanisieren. Er diskutiert das Potenzial großer Sprachmodelle (LLMs), den Beweis zu verstehen und zu vereinfachen, sowie die Auswirkungen auf die Zukunft der Mathematik. Die Schlussfolgerung legt nahe, dass einige mathematische Beweise von Natur aus uninterpretierbar sein können, was darauf hindeutet, dass Mathematik immer mehr einer experimentellen Wissenschaft ähneln wird.

(writings.stephenwolfram.com)

Mathematik automatisiertes Theorembeweisen formalisierte Mathematik