• Paul Erdős, um dos matemáticos mais prolíficos do século passado, teve sua conjectura sobre distâncias unitárias no plano refutada por um modelo de inteligência artificial após 80 anos.
  • A solução apresentada pela OpenAI mostrou uma nova disposição que oferece muitas mais combinações possíveis em comparação à proposta clássica de Erdős, o que gerou debate sobre a autonomia da IA na pesquisa matemática.
  • A resolução de problemas históricos da matemática por IA está acelerando investigações e mudando a forma como os matemáticos trabalham, levantando questões éticas sobre o impacto dessa tecnologia na ciência.