hat my brother, after getting super-excited about the solution of three related hard problems in AI logical reasoning, has launched a startup called Coherent Knowledge Systems. The tech could be as transformative and value-creating as the relational database (which was also created within theoretical computer science) pro