JUST IN: Idag @CadeMetz på New York Times om Aristoteles och vår strävan att skapa världens mest avancerade matematiska resonemangsmotor. Matematisk superintelligens blir mainstream.