JUST IN: Vandaag heeft @CadeMetz van de New York Times Aristoteles en onze zoektocht naar het creëren van 's werelds meest geavanceerde wiskundige redeneermachine behandeld. Wiskundige superintelligentie wordt mainstream.