Is There Significantly More People Working on These Problems?

The main thing that I'm working on is still abstraction. The sort of next big milestone is being able to directly calculate natural abstractions in simulated systems. Once we get an experimental feedback loop going, you can expect to make a pretty quick progress.