korrents
Stephen Wolfram

What Stephen Wolfram thinks about mathematics

@stephen-wolfram · 23 positions · On ppll ↗

Founder and CEO of Wolfram Research, creator of Mathematica and Wolfram|Alpha, and author of A New Kind of Science.

Stephen Wolfram did not write this page.

We collected these quotes from things they published elsewhere, and every quote links to where it was said. They have no account here and have not endorsed this site. Quotes are word for word; the short line under each one is our own restatement, not their wording. Their own site. Is this you? Claim it or ask us to remove it. Or tell us what is wrong here.

Filter mathematics · Newest first
Topic
All 23mathematics 5physics 3simplicity 3evolutionary biology 2LLMs 2AI and science 1AI writing 1benchmarks 1code generation 1
2 more topics
consciousness 1design 1
Sort
NewestOldest

Only Stephen Wolfram on mathematics. See everyone on mathematics

5 dated positions, 2026, in their own words. Our reading of what Stephen Wolfram has said — not written or endorsed by them.

  1. Our readingAt the core of pure mathematics is the human imagination that guides which questions to ask.

    Their wordsat the core of pure mathematics is the human imagination that guides what questions to ask.

    ↗What’s the Future for Pure Math Research in the Age of AI?writings.stephenwolfram.com 1st of 3 in this piece

  3. Our readingThe weak link in autoformalizing mathematics is being sure the formal version captures what the mathematician meant to express.

    Their wordsThe weak link is being sure that the formalization of your human-level math is correctly capturing what you were trying to express.

    ↗What’s the Future for Pure Math Research in the Age of AI?writings.stephenwolfram.com 3rd of 3 in this piece

  4. 8 weeks earlier

  5. Our readingThe true essence of mathematics is not raw axiomatic formalization; mathematics is something much more human.

    Their wordsElise maintained that raw axiomatic formalization cannot be the true essence of math and that math is really something much more human. And finally, just a few years ago, by a long and circuitous route, I came to realize that-despite my obstinate insistence to the contrary-she'd been right about this all along.

    ↗In Memory of My Wife, Elise Cawley (1961–2026), with Thanks for 36 Wonderful Yearswritings.stephenwolfram.com

  6. 7 months earlier

  7. Our readingStudying what arbitrary computational rules do is a distinct science, separate from computer science and mathematics.

    Their wordsIt's not computer science, because that would be about programs we construct for particular purposes, rather than ones that are just "out there in the wilds of the computational universe".

    ↗What Is Ruliology?writings.stephenwolfram.com 1st of 3 in this piece

  9. Our readingThe behavior of very simple computational rules can require large amounts of obscure mathematics to fully capture.

    Their wordsBut it's remarkable how quickly the mathematics tends to get out of hand, with even a very simple rule having behavior that can only be captured by large amounts of obscure mathematics.

    ↗What Is Ruliology?writings.stephenwolfram.com 3rd of 3 in this piece