Un análisis del Ramanujan Challenge halla que un envío demostró una de sus conjeturas abiertas de teoría de números publicadas

El artículo de arXiv compara modelos de IA, sistemas de álgebra computacional y herramientas formales en fórmulas de constantes de nivel investigador, y dice que su evaluación asistida por IA redujo los falsos positivos en pruebas en lenguaje natural del 23% al 6% frente a un juicio único de LLM; el resumen no dice qué sistema logró la prueba.