Axiom (Math)

Axiom's mission is to build a self-improving superintelligent reasoner, starting with an AI mathematician.