The research reported on in our book "A=B", has moved a whole active field of mathematics from the province of human thought to the realm of computer-fodder. It is quite exciting to think about what other fields of pure mathematics, hitherto thought to be reserved to human intelligence, might be moved to that realm next. The goal is to put ourselves out of business completely, and the work is well underway.
Login to join the discussion