Una colección publicada en octubre reunió 722 manuscritos matemáticos generados con inteligencia artificial y los organizó en 372 familias de problemas.
Los textos abarcan áreas como geometría, análisis, álgebra y teoría de números, y proponen argumentos para resolver preguntas matemáticas.
Su publicación no significa que todas las demostraciones estén comprobadas o aceptadas por la comunidad. Los propios análisis señalan que varias necesitan revisión y validación formal.
El proyecto abre una discusión relevante: cómo distinguir una idea prometedora de una prueba correcta cuando el material se produce a gran escala con IA.
