20 de outubro de 2026, surgiram na nova lista do arXiv trabalhos em que matemáticos apontam diretamente para a ajuda de modelos como o ChatGPT-6 Astra.
Entre eles está a prova da conjectura de Erdős–Szemerédi sobre girassóis para qualquer k ≥ 3. Os autores observam que foi precisamente o ChatGPT-6 Astra Pro que encontrou o teorema central.
Anteriormente, apenas o caso k = 3 era conhecido, obtido em 2016 graças ao avanço com cap-set. Agora anuncia-se uma melhoria explícita: o tamanho da família sem um k-girassol é limitado por uma grandeza menor que 2^n.
Na mesma lista estão outros resultados com participação de IA: uma estimativa para a conjectura de Borodin–Kostochka, a melhoria do tempo de resolução de problemas de programação inteira e contraexemplos à conjectura de Arveson no caso comutativo.
Muitos autores escrevem que o modelo propôs passos-chave ou provas completas, e que as pessoas as verificaram e redigiram. Alguns trabalhos são acompanhados de menções a verificações em Lean, embora os arquivos ainda não tenham sido publicados.
Todos os resultados anunciados aguardam revisão independente. Por enquanto, permanecem no estado «aguardando verificação».
