# Examples for use of AI and especially LLMs in major mathematical developments > Source: > Published: 2026-08-13 03:14:34+00:00 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) .