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. and something like an LLM could “creatively” come up with these names.
Let's personalize your content