ÚLTIMA HORA: Una versión beta temprana de Grok 4.20 acaba de mostrar lo potente que es en matemáticas reales. Un investigador le dio a Grok 4.20 acceso a un problema de matemáticas difícil que llevaban mucho tiempo estudiando con un estudiante. El problema era encontrar los mejores límites inferiores posibles para ciertos sistemas aleatorios y booleanos, algo que los expertos suelen resolver solo tras meses o años de trabajo. En unos cinco minutos, Grok 4.20 hizo algo nuevo. Descubrió una fórmula matemática completamente nueva llamada función de Bellman. Esta fórmula dio inmediatamente un resultado más fuerte y preciso que lo que se conocía anteriormente, mejorando un importante factor logarítmico en el límite final. El resultado no cambia la vida diaria de mañana, pero empuja la frontera de la comprensión en probabilidad, análisis armónico y funciones booleanas. Responde a una curiosidad de larga data sobre hasta qué punto ciertos objetos matemáticos explotan cuando se prueban en casos extremos, y encuentra la respuesta exacta y precisa, no solo una estimación. Antes de esto, el mejor resultado conocido era más débil. La solución de Grok 4.20 da el límite más fuerte posible, y resulta ser matemáticamente óptima. Grok 4.20 produjo de forma independiente una mejora real a nivel de investigación en matemáticas avanzadas, en minutos, sobre un problema en el que los humanos ya llevaban años trabajando.