25
Mathematicians are grappling with the possibility that AI might eclipse them
(www.understandingai.org)
This is a most excellent place for technology news and articles.
Finding a proof is different than solving a math problem.