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. Yes, there can be a lot of flexibility in this model. The simplest known up to that time involved 9 binary ( Nand ) operations. But one can’t have a truly “model-less model”.
122 
Let's personalize your content