ÚLTIMA HORA: Uma versão beta inicial do Grok 4.20 acabou de mostrar quão poderoso ele é em matemática real. Um pesquisador deu ao Grok 4.20 acesso a um problema matemático difícil que ele vinha estudando há muito tempo com um aluno. O problema era sobre encontrar os melhores limites inferiores possíveis para certos sistemas aleatórios e booleanos, algo que os especialistas geralmente resolvem apenas após meses ou anos de trabalho. Em cerca de cinco minutos, o Grok 4.20 fez algo novo. Ele descobriu uma nova fórmula matemática chamada função de Bellman. Esta fórmula imediatamente forneceu um resultado mais forte e preciso do que o que era conhecido anteriormente, melhorando um fator logarítmico importante no limite final. O resultado não muda a vida cotidiana amanhã, mas empurra a fronteira do entendimento em probabilidade, análise harmônica e funções booleanas. Ele responde a uma curiosidade de longa data sobre como 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 melhor resultado conhecido era mais fraco. A solução do Grok 4.20 fornece o limite mais forte possível, e acaba por ser matematicamente ótima. O Grok 4.20 produziu independentemente uma melhoria em nível de pesquisa real em matemática avançada, em minutos, em um problema onde os humanos já estavam trabalhando há anos.