OpenAI publica una prueba de multiplicación de enteros por debajo de n log n
Integer multiplication below n log n
El repositorio openai/math aloja un preprint que demuestra que la multiplicación de enteros puede realizarse en tiempo inferior a n log n, superando el límite clásico. El documento, fechado en septiembre de 2026, se acompaña de otros resultados en teoría de números, geometría y complejidad. La implicación es directa: los algoritmos actuales de multiplicación podrían optimizarse más allá de lo que se creía posible.
La multiplicación de enteros por debajo de n log n.
- TGower
Le quitamos un buen: 1/6129982163463555433433388108601236734474956488734408704 al nlogn
- shmoil
Me reí a carcajadas con el n lg n ^ (1 - 2^{-182}). Es buenísimo.
- wk_end
¿Existe una prueba asociada verificada por máquina de esto?
En el trabajo estamos en modo vibe-code total, así que entiendo tanto lo potentes que pueden ser los modelos de frontera como lo seguido que pueden afirmar con exceso de confianza cosas sutilmente (o no tan sutilmente) incorrectas, incluso cuando haces grandes esfuerzos para intentar evitarlo.
Así que sin un desarrollo en Lean o una verificación humana exhaustiva, supongo que estoy un poco escéptico, e incluso casi espero que esto esté mal, no solo por mis sentimientos no tan positivos hacia la IA, sino por mi disposición hacia la belleza en matemáticas. n log n es bastante más bonito que lo que tenemos aquí.
- MinimalAction
Para los no iniciados, ¿por qué es interesante esto dado que no parece estar tan por debajo del umbral?
- 12390asdjkas
esto es perfecto para cuando tengo un array de AL MENOS 2^118000 elementos
NUNCA me importarán las supuestas mejoras de velocidad de multiplicación a menos que sean verdaderamente generalizadas