Remove Algebra Remove Architecture Remove Biology Remove Social 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. We know the ones that correspond to “known science”.

Science 122
article thumbnail

Remembering the Improbable Life of Ed Fredkin (1934–2023) and His World of Ideas and Stories

Stephen Wolfram

Then McCarthy started to explain ways a computer could do algebra. It was all algebra. And the only conclusion we can arrive at is that a person can’t do this much algebra with the hope of getting it right.” And Minsky mentioned work a student of his was doing on the “AI problem” of symbolic integration.