Desempenho de LLMs em Matemática: Avanços e Limitações

O anúncio da OpenAI sobre os avanços de seus Grandes Modelos de Linguagem (LLMs) em matemática, resolvendo dez problemas em aberto, trouxe um foco mais técnico sobre a natureza da inteligência matemática da IA. A discussão agora se volta para o tipo específico de problemas que essas IAs são eficazes em resolver. Por exemplo, a IA demonstrou capacidade em áreas complexas como a construção de um grupo não-sofítico e a prova do crescimento superexponencial do número de Ramsey multicolori. Contudo, essa capacidade parece se inclinar mais para o achado de contraexemplos do que para a formulação de provas complexas no sentido tradicional, embora ambas as habilidades existam.

A distinção é sutil, mas importante: um contraexemplo refuta uma afirmação universal (e.g.,