“A chatbot recently created an original mathematical proof for one of Paul Erdős's conjectures that impressed human mathematicians.”