Remove Achievement Remove Algebra Remove Finance 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. Here’s how the “loss” evolves (over the course of 100 generations) for a collection of paths: And what we see is that there’s only one “winner” here that achieves zero loss; on all the other paths, evolution “gets stuck”.

Science 122