Examples for use of AI and especially LLMs in major mathematical developments

A MathOverflow question is collecting verified examples where large language models (LLMs) such as ChatGPT have led to major mathematical developments, with an emphasis on achievements where AI directly contributed to the solution. The question, edited in July 2026, restricts contributions to major, verified results and complements earlier questions on experimental mathematics and computer-assisted advances.

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 https://mathoverflow.net/questions/12085/experimental-mathematics-leading-to-major-advances January 2010 and The use of computers leading to major mathematical advances II https://mathoverflow.net/questions/396470/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? https://mathoverflow.net/questions/463937/what-mathematical-problems-can-be-attacked-using-deepminds-recent-mathematical ; Another related question referring to deep learning is What are possible applications of deep learning to research mathematics? https://mathoverflow.net/questions/390174/what-are-possible-applications-of-deep-learning-to-research-mathematics .