Siobhan Roberts in The New York Times on July 2, 2023 —
A.I. Is Coming for Mathematics, Too
For thousands of years, mathematicians have adapted
to the latest advances in logic and reasoning.
Are they ready for artificial intelligence?
"Step-by-step, a mathematician translates a proof into code;
then a software program checks whether the reasoning is correct."
Summary of the previous post in this journal —
"Step-by-step, an AI translates a theorem into ordinary language;
then a mathematician checks whether the reasoning is correct."