Avanços de IA em Matemática Avançada

O engenheiro de software e ex-pesquisador quantitativo Neel Somani testou as habilidades matemáticas do modelo mais recente da OpenAI apresentando um problema desafiador. Após permitir que o modelo raciocinasse por um período prolongado, ele produziu uma solução completa que foi verificada com a ferramenta Harmonic.

O modelo demonstrou uma cadeia de pensamento sofisticada, referenciando axiomas matemáticos e localizando trabalhos anteriores relevantes, mas ultimatemente entregando uma solução distinta e mais completa. Esse sucesso faz parte de uma tendência mais ampla onde as ferramentas de IA estão sendo usadas para abordar problemas matemáticos de alto nível.

Problemas de Erdős e Contribuições de IA

A coleção de problemas de Erdős, um conjunto de mais de mil conjecturas, tornou-se um campo de teste para a matemática impulsionada por IA. Esforços recentes viram modelos de IA creditados por resolver vários desses problemas. Especificamente, quinze problemas mudaram de "aberto" para "resolvido", com onze dessas soluções reconhecendo a participação da IA. O proeminente matemático Terence Tao nota oito problemas onde a IA fez progresso autônomo significativo e seis casos adicionais onde a IA ajudou a localizar e construir sobre pesquisas existentes.

Implicações para a Comunidade de Pesquisa

Os avanços sugerem que os sistemas de IA podem ser especialmente adequados para abordar a "cauda longa" de questões matemáticas obscuras, muitas das quais têm soluções diretas. Ferramentas de formalização, como o assistente de prova Lean, combinadas com assistentes de IA como o Aristotle da Harmonic, estão simplificando a verificação e extensão do raciocínio matemático.

O fundador da Harmonic, Tudor Achim, enfatiza que a adoção crescente de ferramentas de IA por professores de matemática e ciência da computação sinaliza uma mudança na credibilidade e aceitação dentro da comunidade acadêmica.

Usado: News Factory APP - descoberta e automação de notícias - ChatGPT para Empresas