Análise do Ramanujan Challenge mostra que uma submissão provou uma de suas conjecturas abertas de teoria dos números publicadas

O artigo no arXiv compara modelos de IA, sistemas de álgebra computacional e ferramentas formais em fórmulas de constantes de nível de pesquisa, e diz que sua avaliação assistida por IA reduziu falsos positivos em provas em linguagem natural de 23% para 6% ante um julgamento único de LLM; o resumo não diz qual sistema fez a prova.