Can AI Solve Science?
Stephen Wolfram
MARCH 5, 2024
We can still ask, though, whether the mathematics—or science—that humans choose to study might manage to live solely in pockets of computational reducibility. In 2000 I was interested in what the simplest possible axiom system for logic (Boolean algebra) might be.
Let's personalize your content