For context Terence Tao is often referred to as one of the greats of modern mathematicians of our time.
He also has a Mastodon account where he sometimes goes over the implications of LLMs and in this post is his musings of how he sees it's current potential and possible impact in the near future for mathematics.
"The 2023-level AI can already generate suggestive hints and promising leads to a working mathematician and participate actively in the decision-making process. When integrated with tools such as formal proof verifiers, internet search, and symbolic math packages, I expect, say, 2026-level AI, when used properly, will be a trustworthy co-author in mathematical research, and in many other fields as well."
He also has a Mastodon account where he sometimes goes over the implications of LLMs and in this post is his musings of how he sees it's current potential and possible impact in the near future for mathematics.
"The 2023-level AI can already generate suggestive hints and promising leads to a working mathematician and participate actively in the decision-making process. When integrated with tools such as formal proof verifiers, internet search, and symbolic math packages, I expect, say, 2026-level AI, when used properly, will be a trustworthy co-author in mathematical research, and in many other fields as well."