Stephen Wolfram

@stephenwolfram.bsky.social

Creating ideas, science, technology, books, companies, ...

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...

Bild