ÚLTIMA HORA: Uma versão beta inicial do Grok 4.20 acabou de mostrar o quão poderoso ele é em matemática real. Um pesquisador deu a Grok 4.20 acesso a um problema difícil de matemática que eles vinham estudando há muito tempo com um aluno. O problema era encontrar os melhores limites inferiores possíveis para certos sistemas aleatórios e booleanos, algo que especialistas geralmente resolvem apenas após meses ou anos de trabalho. Em cerca de cinco minutos, o Grok 4.20 fez algo novo. Descobriu uma nova fórmula matemática chamada função de Bellman. Essa fórmula imediatamente proporcionou um resultado mais forte e nítido do que o que se sabia anteriormente, melhorando um importante fator logarítmico na amarração final. O resultado não muda a vida cotidiana amanhã, mas ultrapassa as fronteiras do entendimento em probabilidade, análise harmônica e funções booleanas. Ele responde a uma curiosidade antiga sobre o quanto certos objetos matemáticos explodem quando testados em casos extremos, e encontra a resposta exata e precisa, não apenas uma estimativa. Antes disso, o resultado mais conhecido era mais fraco. A solução do Grok 4.20 dá o limite mais forte possível, e acaba sendo matematicamente ótima. O Grok 4.20 produziu de forma independente uma verdadeira melhoria em nível de pesquisa em matemática avançada, em minutos, em um problema no qual os humanos já trabalhavam há anos.