Artificial intelligence refers to the intelligence shown by artificial systems. The core issues of artificial intelligence include reasoning, knowledge, planning, learning, communication, perception, movement and the ability to manipulate objects.
The technological breakthrough 'By using the digital theorem proving program, scientists have proved 38 theorems in the second chapter of the book Mathematical principles' has nothing to do with artificial intelligence.