Terence Tao is not only one of the most important and influential mathematicians today and the recipient of the highest awards in this scientific field. In recent years, the Australian-American researcher, who conducts research at the University of California Los Angeles, has proven to be a pioneer in the use of new technologies in mathematical research. He repeatedly described his experiences with the use of AI in mathematical practice, especially in the form of language models such as ChatGPT, and also successfully solved problems with them.
