NETTOPP INN: I dag dekket @CadeMetz i New York Times Aristoteles og vår jakt på å skape verdens mest avanserte matematiske resonneringsmotor. Matematisk superintelligens blir mainstream.