JUST IN: Hoje, @CadeMetz do New York Times cobriu Aristóteles e nossa busca para forjar o motor de raciocínio matemático mais avançado do mundo. A superinteligência matemática está se tornando mainstream.