Modelo da OpenAI refuta conjectura antiga de geometria discreta

Um modelo refuta uma conjectura de geometria discreta. O modelo o3 da OpenAI refutou uma conjectura antiga em geometria discreta, demonstrando que a IA pode contribuir para a pesquisa matemática. A conjectura, proposta pelo matemático Paul Erdős e outros, dizia respeito ao número máximo de distâncias unitárias que podem ocorrer entre n pontos no plano. O modelo encontrou um contraexemplo ao construir uma configuração de pontos que excede o limite superior anteriormente aceito. Esse resultado foi verificado por matemáticos e publicado em um periódico revisado por pares. O trabalho destaca o potencial da IA para ajudar na descoberta de novas verdades matemáticas.