I am at CMU working on an artificial general intelligence (AGI). The system is self-modifying (as a form of learning). It uses Scone (http://github.com/sfahlman/scone), a knowledge representation system as its core.