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. of what’s now Wolfram Language —we were trying to develop algorithms to compute hundreds of mathematical special functions over very broad ranges of arguments. Back in 1987—as part of building Version 1.0
123 
Let's personalize your content