Contribuição dos Modelos de IA Mais Recentes para a Ciência

Um artigo no AI-News.ru discute as contribuições de modelos de IA recentes para a ciência, particularmente na matemática. Ele faz referência a um post de Terry Tao (21 de julho de 2026) sobre um contraexemplo para a conjectura de Jacobi, onde modelos de IA, incluindo Claude Fable 5 e ChatGPT, desempenharam um papel. Outro preprint (arXiv:2607.18186) apresenta uma prova que vale para dimensões n≥3, auxiliada por ChatGPT e Claude. Um artigo (arXiv:2607.18619) de um pesquisador da Microsoft descreve uma prova alternativa do teorema das quatro cores usando GPT-5.6 Sol. Além disso, arXiv:2607.18655 relaciona-se a Claude Fable 5, e arXiv:2607.19675 descreve uma prova usando OpenAI Codex, referenciando um problema de 1964. Outros trabalhos incluem um limite derivado por IA para a conjectura de De Giorgi (arXiv:2607.18174) com termo de erro O(T^-1), um artigo sobre o modelo SYK (arXiv:2607.18998) usando GPT-5.6, e uma prova da existência de uma órbita periódica para bilhares em polígonos por Giovanni Forni (arXiv:2606.10102). O autor também menciona seu próprio trabalho envolvendo GPT.