The purpose of this question is to collect examples where large language models (LLMs) like ChatGPT have led to major mathematical developments.
Please only post verified major achievements in which AI led to the solution.
The emphasis in this question is on LLMs, but answers about other machine-learning tools are also welcome.
Edit (July '26): in view of recent developments and to keep the question useful I would like to make some restrictions: First the question refers now to major developments and not merely notable ones. (If in doubt contribute a comment.) Second the question refers to cases where AI led to the solution. Third, please post VERIFIED major achievements.
This question complements two questions that I asked before: Experimental mathematics leading to major advances (January 2010) and The use of computers leading to major mathematical advances II (June 2021). I think it will be useful to keep track of mathematical achievements based on LLMs or assisted by LLMs since it is considered a serious possibility that LLM's have the potential to change (and automatize) or at least assist research in mathematics.
A related question specifically about Deep Mind is this: What mathematical problems can be attacked using DeepMind's recent mathematical breakthroughs? ; Another related question referring to deep learning is What are possible applications of deep learning to research mathematics? .