Mathematical Scientific Discovery Using Large Language Models: A Systematic Literature Review
Esta revisão sistemática da literatura, aderindo às diretrizes PRISMA 2020, analisa 32 estudos sobre o uso de modelos de linguagem de grande escala para a descoberta matemática para identificar sete paradigmas técnicos, destacar a eficácia superior da busca evolucionária combinada com a verificação formal e fornecer uma taxonomia para orientar pesquisas futuras no campo.