Easy access to LLM technology that interprets plain text input into computational Wolfram Language code. Efficient for testing new ideas, pinpointing the most-useful functions and options, and filling in content.

Stephen Wolfram Blog

10.01.2025

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

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.

home›Stephen Wolfram Blog

Stephen Wolfram Blog

Science

Useful to the Point of Being Revolutionary: Introducing Wolfram Notebook Assistant—Stephen Wolfram Writings

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

home
›
Stephen Wolfram Blog