Remove Argumentation Remove Engineering Remove Formal Sciences Remove Social Sciences
article thumbnail

Can AI Solve Science?

Stephen Wolfram

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. Indeed, in many proofs—as well as in many engineering systems—one may need to build on an immense number of excruciating details to get to the final “interesting result”.

Science 122