Title:
How Close Are Computers to Automating Mathematical Reasoning?
Author:
Stephen Ornes
Published:
Quanta magazine, 27 August 2020
https://www.quantamagazine.org/how-close-are-computers-to-automating-mathematical-reasoning-20200827/
From the article:
A formidable open challenge in the field asks how much proof-making can actually be automated: Can a system generate an interesting conjecture and prove it in a way that people understand? A slew of recent advances from labs around the world suggests ways that artificial intelligence tools may answer that question.