GPT-5.6 Sol supostamente refuta uma conjectura estatística de 30 anos em 90 minutos após humanos não conseguirem resolvê-la

Um professor de estatística da University of Pennsylvania usou o GPT-5.6 Sol Pro da OpenAI para refutar uma conjectura central em aberto sobre o método de Benjamini-Hochberg em cerca de 90 minutos. O modelo antecessor, o GPT-5.5, não conseguiu encontrar uma solução mesmo após 20 horas. A resposta combina métodos conhecidos de uma nova maneira, mantendo viva a questão maior: a IA pode produzir conhecimento genuinamente novo, ou apenas recombina o que já aprendeu? O artigo GPT-5.6 Sol supostamente refuta uma conjectura estatística de 30 anos...