JUST IN: Dziś @CadeMetz w New York Times opisał Arystotelesa i naszą misję stworzenia najbardziej zaawansowanego silnika rozumowania matematycznego na świecie. Superinteligencja matematyczna staje się mainstreamowa.