Mathematics and general problem solving

Hi,
I am not sure if this post should be in "Artificial Intelligence" or mathematics.

I suppose it should be in both.


I am interested in reading about the latest development in building mathematical proofs, exploring mathematics and discovering new mathematical concepts/models by using computer programs.

I have read about the work of Herbert Simon and Alen Newell.

For example:
The general problem solver


Or the Logic Theorist


But, I do not seem able to find any source code or any implementation using IPL or LISP or any programming language.

Also, I am wondering if anybody during the last 50 years wrote something similar to discover mathematical concepts using frames or anything.

Thanks in advance for any replies
- c0d3dm1nd

PS: I added links to the general problem solver and the logic theorist (mostly articles on various sites like wikipedia) but because of my post count, I can't submit them. So, just google them