Too Long; Didn't Read

Unlike AlphaGeometry's mix of neural networks and logic, Tau uses a logic-based system, powered by its proprietary Tau Language, to build correct-by-construction software, applicable to an exceptionally wide scope of complexity and capable of reasoning over the sentences in Tau Language which, in turn, allows it to reason over the software itself. 

L O A D I N G
. . . comments & more!