Are there other programs like MIRI for mathematics, intelligence and brain enthusiasts?
I like to know the differences in the objectives of those fields.
I am conducting research in creating an AI with high IQ. I am interested in the tests Logima Strictica 36 Test and Logicaus Strictimanus 24. Further links are here What is the logic of these test ...