Desafiando a IA com Teoria dos Números: Uma Verificação de Realidade

Um matemático questiona as verdadeiras capacidades da IA atual em matemática, argumentando que os modelos de IA existentes estão simplesmente repetindo, e não entendendo verdadeiramente a matemática. Para testar essa hipótese, ele está iniciando um experimento: criar um banco de dados de problemas avançados de teoria dos números e convidar empresas de IA a resolvê-los usando seus modelos. As respostas são restritas a inteiros não negativos, projetados para avaliar se a IA possui raciocínio matemático genuíno ou simplesmente se baseia em correspondência de padrões e dados da internet. Este experimento visa diferenciar entre 'compreensão' e 'imitação' da IA, impulsionando uma avaliação mais profunda das habilidades matemáticas da IA.