Contribution of Latest AI Models to Science
Anthropic
OpenAI
Recent AI models, including Claude Fable 5, GPT-5.6 Sol, and OpenAI Codex, have contributed to mathematical proofs and research. Publications on arXiv highlight their role in solving conjectures and advancing scientific work.
An article on AI-News.ru discusses the contributions of recent AI models to science, particularly in mathematics. It references a post by Terry Tao (July 21, 2026) about a counterexample to the Jacobian conjecture, where AI models including Claude Fable 5 and ChatGPT played a role. Another preprint (arXiv:2607.18186) presents a proof that holds for dimensions n≥3, assisted by ChatGPT and Claude. A paper (arXiv:2607.18619) by a Microsoft researcher describes an alternative proof of the four-color theorem using GPT-5.6 Sol. Additionally, arXiv:2607.18655 relates to Claude Fable 5, and arXiv:2607.19675 describes a proof using OpenAI Codex, referencing a problem from 1964. Other works include an AI-derived bound for the De Giorgi conjecture (arXiv:2607.18174) with error term O(T^-1), a SYK model paper (arXiv:2607.18998) using GPT-5.6, and a proof of the existence of a periodic orbit for billiards in polygons by Giovanni Forni (arXiv:2606.10102). The author also mentions their own work involving GPT.
- Abbreviations
- LLM = Large Language Model — большая языковая модель
- SYK = Sachdev-Ye-Kitaev — модель Сычева-Йе-Китаева
- GPT = Generative Pre-trained Transformer — генеративный предобученный трансформер
Source: AI-News.ru —
original