Contribution des derniers modèles d'IA à la science

Un article d'AI-News.ru discute des contributions des modèles d'IA récents à la science, en particulier en mathématiques. Il fait référence à un post de Terry Tao (21 juillet 2026) concernant un contre-exemple à la conjecture jacobienne, où des modèles d'IA, dont Claude Fable 5 et ChatGPT, ont joué un rôle. Un autre preprint (arXiv:2607.18186) présente une preuve qui tient pour les dimensions n≥3, assistée par ChatGPT et Claude. Un article (arXiv:2607.18619) d'un chercheur de Microsoft décrit une preuve alternative du théorème des quatre couleurs utilisant GPT-5.6 Sol. De plus, arXiv:2607.18655 se rapporte à Claude Fable 5, et arXiv:2607.19675 décrit une preuve utilisant OpenAI Codex, faisant référence à un problème de 1964. D'autres travaux incluent une borne dérivée par IA pour la conjecture de De Giorgi (arXiv:2607.18174) avec un terme d'erreur O(T^-1), un article sur le modèle SYK (arXiv:2607.18998) utilisant GPT-5.6, et une preuve de l'existence d'une orbite périodique pour les billards dans les polygones par Giovanni Forni (arXiv:2606.10102). L'auteur mentionne également son propre travail impliquant GPT.