Amazon Scholar solves century-old problem with automated reasoningamazon.science3 pointsbelter2 years ago