Generates and refines new ideas, and helps explore hypotheses and solve problems, using formal logical reasoning and tree search. -- By Nova Spivack, CEO of www.mindcorp.ai and www.novaspivack.com