Stephen Wolfram discusses understanding proofs discovered using automated theorem proving. Based on Wolfram’s proof of the simplest axioms of logic of Boolean algebra.| writings.stephenwolfram.com
Stephen Wolfram explores minimal models and their visualizations, aiming to explain the underneath functionality of neural nets and ultimately machine learning.| writings.stephenwolfram.com
Stephen Wolfram explores multiway systems as minimal models for growth processes based on aggregation and tiling. Also, how to use this concrete application as a way to develop further intuition about multiway systems in general.| writings.stephenwolfram.com
A deep correspondence is discussed between the computational evaluation of symbolic expressions and recent results on discrete models of fundamental physics.| writings.stephenwolfram.com
AI and the ruliad in the Wolfram Physics Project provide a new way to consider how alien minds might perceive the world. Stephen Wolfram explains how this artificial neuroscience experiment works.| writings.stephenwolfram.com
