1956: Logic Theorist . Arguably, pure mathematics is the crowning achievement of human thought. Now we have a machine that can prove new mat... (more…)

Essay outlining why the Trolly Problem is problematic when used in relation to Autonomous Vehicles.

Researchers from the University of Warwick, Imperial College London, EPFL (Lausanne) and Sciteb Ltd have found a mathematical means of helping regulators and business manage and police Artificial Intelligence systems' biases towards making unethical, and ... (more…)

Ladies and gentlemen I am incredibly proud and excited to present the very first public product of Peptone, the Database of Structural… (more…)

There’s a new automated propaganda machine driving global politics. How it works and what it will mean for the future of democracy. (more…)