ÚLTIMA HORA: Una versión beta temprana de Grok 4.20 acaba de mostrar cuán poderoso es en matemáticas reales. Un investigador le dio a Grok 4.20 acceso a un problema matemático difícil que había estado estudiando durante mucho tiempo con un estudiante. El problema consistía en encontrar los mejores límites inferiores posibles para ciertos sistemas aleatorios y booleanos, algo que los expertos suelen resolver solo después de meses o años de trabajo. En unos cinco minutos, Grok 4.20 hizo algo nuevo. Descubrió una nueva fórmula matemática 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 factor logarítmico importante en el límite final. El resultado no cambia la vida diaria mañana, pero empuja la frontera del entendimiento en probabilidad, análisis armónico y funciones booleanas. Responde a una curiosidad de larga data sobre cuán mal se comportan ciertos objetos matemáticos 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 proporciona el límite más fuerte posible, y resulta ser matemáticamente óptimo. Grok 4.20 produjo de manera independiente una mejora a nivel de investigación real en matemáticas avanzadas, en minutos, sobre un problema en el que los humanos ya habían estado trabajando durante años.