Stephen Wolfram discusses understanding proofs discovered using automated theorem proving. Based on Wolfram’s proof of the simplest axioms of logic of Boolean algebra.

Stephen Wolfram Blog

24.01.2025

Launching Version 14.2 of Wolfram Language & Mathematica: Big Data Meets Computation & AI—Stephen Wolfram Writings

New 14.2 features include smarter AI assistance with a direct conversational interface to Wolfram Language and a new framework for data science called Tabular. Plus, news about videos and symbolic arrays.

Stephen Wolfram Blog

18.02.2025

Towards a Computational Formalization for Foundations of Medicine—Stephen Wolfram Writings

Stephen Wolfram takes the first steps in developing a medical metamodel framework for studying and formalizing the abstract foundations of medicine.

Stephen Wolfram Blog

19.03.2025

What Can We Learn about Engineering and Innovation from Half a Century of the Game of Life Cellular Automaton?—Stephen Wolfram Writings

Stephen Wolfram investigates the discovery of structures since the Game of Life was invented--searching possibilities versus invention by explicit effort. A thorough look at oscillators, modularity, glider guns.

home›Stephen Wolfram Blog

Stephen Wolfram Blog

Science

Who Can Understand the Proof? A Window on Formalized Mathematics—Stephen Wolfram Writings

Launching Version 14.2 of Wolfram Language & Mathematica: Big Data Meets Computation & AI—Stephen Wolfram Writings

Towards a Computational Formalization for Foundations of Medicine—Stephen Wolfram Writings

What Can We Learn about Engineering and Innovation from Half a Century of the Game of Life Cellular Automaton?—Stephen Wolfram Writings

home
›
Stephen Wolfram Blog