Can AI Solve Science?
Stephen Wolfram
MARCH 5, 2024
In 2000 I was interested in what the simplest possible axiom system for logic (Boolean algebra) might be. But just by systematic enumeration the computer was able to find what seemed to me like a very “creative” result. Yes, there can be a lot of flexibility in this model. But one can’t have a truly “model-less model”.
Let's personalize your content