La multiplicación de enteros rompe la barrera de n log n
Auto Research: Integer multiplication below n log n
Un proyecto colaborativo en GitHub rastrea mejoras al algoritmo de multiplicación de enteros, superando el límite clásico de n log n. Con contribuciones asistidas por IA y revisión de mantenedores, el avance se apoya en preprints de OpenAI y verificación formal en Lean. Los resultados son condicionales a lemas previos, pero marcan un hito en la investigación matemática abierta.
Estos son borradores de investigación asistidos por IA. La mayoría de los refinamientos son condicionales a lemas de los preprints originales.