Our goal is to make general artificial intelligence come to existence. That is why research is such an important part of ulam.ai. We will be publishing most of our research here in the form of scientific texts, which are also posted on arXiv and send for publication in journals or proceedings of conferences.
Our long-term research goals are related to DeepAlgebra program which aims to automate mathematical thinking. We believe that this is a neccessary step towards general artificial intelligence.
Here is a list of our preprints:
P. Chojecki, "metaTeX and automated reasoning"
P. Chojecki, "DeepAlgebra - an outline of a program"