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