Stephen Wolfram

"Those posts have enough in them to be little books!" Well, now they are. (With more to come...)
www.wolfram-media.com/products/

Victorians called it "protoplasm". But what really is "living matter"? And can we make a foundational theory of such a microscopically "bulk orchestrated" form of matter? Seems like maybe we can ...
writings.stephenwolfram.com/2025/11/what...

Image of a glass award and the 2025 Wolfram Innovator Award winners on a red background

Congratulations to our 2025 Wolfram Innovator Award winners! Such an interesting group doing such interesting and important things!
blog.wolfram.com/2025/11/07/a...

A colorful array of the Wolframlogo, nicknamed "Spikey", starting with the first version of Mathematica up to a ? for an unannounced version coming with version 15 of the software

Yes, we have a rich history. But as I prepare (for the 37th time!) for my keynote tomorrow at our annual Wolfram Technology Conference I'm most excited to talk about what's next. Join me live at 1 pm ET www.youtube.com/Wolfram_Rese...

Stephen Wolfram standing beside an Elliott 903 computer

Dropped in at Bletchley Park ... and at the National Museum of Computing met an old friend: an Elliott 903---the first kind of computer I used (in 1972). I think I've aged better...

The Ruliology of Lambdas Stephen Wolfram explains the rich ruliology of lambdas, made particularly significant by their connection to practical computing. Covers basic computations to undecidability to multiway graphs and evaluation strategies.

If you do functional programming (like in Wolfram Language) you've probably used lots of pure functions, or lambdas. But what are lambdas like in the wild? Things I'm doing in CS, bio and ML converged to make me curious to find out...
writings.stephenwolfram.com/2025/09/the-...

Trying to understand yet another strange collection of creatures in the computational universe....

“I Have a Theory Too”: The Challenge and Opportunity of Avocational Science Stephen Wolfram encourages amateur scientists to channel their passion, truly learn the subject that interests them and then systematically explore the computational universe using ruliology.

I've been getting mail with unsolicited "theories of physics" for 50 (!) years.
What can one do with all that enthusiasm and energy? Maybe now I have an idea...
writings.stephenwolfram.com/2025/08/i-ha...

Launching Version 14.3 of Wolfram Language & Mathematica. It's a version with a particularly large number of very long-awaited features (including ones planned for 38(!) years) ... that we finally figured out how to deliver! 🎁
writings.stephenwolfram.com/2025/08/new-...

Nice pictures I happened to just get and thought I should share...

Wolfram High School Research Program | Projects

Check them out here: education.wolfram.com/summer-resea...

Wow! Look at what high school students just did in 2 weeks #WithWolfram at the Wolfram High School Summer Research Program. (And, yes, in "extreme professoring mode" I tried to get to know all 75 students and suggest projects that would be great fits for each of them...)

Gallery of Wolfram Summer School 2025 project tiles that include an image representing the project, the project title, a photo of the student who created the project, and their name.

Just finished three exciting weeks of our (23rd!) annual Wolfram Summer School ... with lots of interesting projects done ...
www.wolframcloud.com/obj/microsit...

Image is a brain MRI seen from top down, followed by an arrow pointing right and three dots. Original image this is based on is actually Stephen Wolfram's brain

I've often wondered what it'd be like if we had bigger brains. It's not easy to imagine what minds beyond ours might be like ... but I just gave it a try ...
writings.stephenwolfram.com/2025/05/what...

Today is the birthday of A New Kind of Science. What a huge project that was (10+ years, etc.)!
I'm still amazed it actually got done.
At the 20th anniversary I told some of the behind-the-scenes story...
writings.stephenwolfram.com/2022/05/the-...

From the point of view of science I've never been too excited about the Game of Life. But now I realize that what's really exciting about it is what it tells us about what we can call metaengineering...
writings.stephenwolfram.com/2025/03/what...

Photo of Stephen Wolfram with his hands open. Between his hands, there is a black circle with a large red pi symbol in the middle. Surrounding the pi symbol is a multitude of numbers from pi in red and white.

#PiDay served with a slice of off the cuff history from @stephenwolfram.bsky.social
youtu.be/fvbDvPbH00w?...

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

I'm excited to share yet another (unexpected) application of my recent science: a computational formalization for foundations of medicine. (Why is medicine hard? Are there a finite number of diseases? ...)
writings.stephenwolfram.com/2025/02/towa...

A quarter century ago this minute ... a century-old problem was solved when out of my Mathematica program popped the shortest possible axiom system for logic ... though to this day nobody understands the computer-generated proof...

Launching Version 14.2 of Wolfram Language & Mathematica: big data meets computation & AI...
writings.stephenwolfram.com/2025/01/laun...

In looking for photos, I also happened to find this (carbon-copy) letter from 1942...

Photo collage of Hugo Wolfram, spanning nearly a decade and including the street he lived on over 80 years ago

My father would have been 100 years old today ... which really helps humanize for me what a century means...

Listing of project titles spanning Lie Brackets, Causality, Lady Mary Shepherd, Consciousness and Quantum Optics

Just wrapped this year's Wolfram Science Winter School. Lots of ruliological intuition building, mixed with mathematical physics and some computational philosophy...
education.wolfram.com/programs/

Who Can Understand the Proof? A Window on Formalized Mathematics Stephen Wolfram discusses understanding proofs discovered using automated theorem proving. Based on Wolfram’s proof of the simplest axioms of logic of Boolean algebra.

Formalized math: meet computational irreducibility.
A simple (if surprising) theorem.
An automated proof nobody seems able to understand.
A tale of adventure in the wilds of metamathematical space...
#MathSky
writings.stephenwolfram.com/2025/01/who-...

An intricate black and white photo of a resulting pattern in a triangle shape. Reminiscent of lace or other creative patterned textiles

An unexpected little ruliological discovery just made live a few minutes ago during my inaugural "Q&A for Scientists" livestream...
youtu.be/9_t1ysElDL8

Useful to the point of being revolutionary: introducing Wolfram Notebook Assistant!

writings.stephenwolfram.com/2024/12/usef...

Biological evolution is a fundamentally computational phenomenon! Just posted lots of new results (and surprises) from my minimal model of adaptive evolution...
writings.stephenwolfram.com/2024/12/foun...

Born 65 years ago this minute. Happy to say the last five years have been my all-time most productive (so far)... writings.stephenwolfram.com/2024/08/five...

Taller and broader. Announcing Version 14.1 of Wolfram Language & Mathematica ... available today for desktop, cloud, etc.
The same core mission and core ideas. But 36 years later ... check out what it's turned into!
writings.stephenwolfram.com/2024/07/yet-...

How do the LLMs compare? Leveraging our "code grading" tech to introduce weekly computationally grounded LLM benchmarking...
www.wolfram.com/llm-benchmar...