Remove Algebra Remove Architecture Remove Engineering Remove Formal Sciences
article thumbnail

Can AI Solve Science?

Stephen Wolfram

In 2000 I was interested in what the simplest possible axiom system for logic (Boolean algebra) might be. Perhaps even the architecture of the network can change. Probably it’s because neural nets capture the architectural essence of actual brains. The simplest known up to that time involved 9 binary ( Nand ) operations.

Science 122