DERNIÈRE MINUTE : Une version bêta précoce de Grok 4.20 vient de montrer à quel point elle est puissante en mathématiques réelles. Un chercheur a donné à Grok 4.20 accès à un problème mathématique difficile qu'il étudiait depuis longtemps avec un étudiant. Le problème concernait la recherche des meilleures limites inférieures possibles pour certains systèmes aléatoires et booléens, quelque chose que les experts ne résolvent généralement qu'après des mois ou des années de travail. En environ cinq minutes, Grok 4.20 a fait quelque chose de nouveau. Il a découvert une toute nouvelle formule mathématique appelée fonction de Bellman. Cette formule a immédiatement donné un résultat plus fort et plus précis que ce qui était connu auparavant, améliorant un facteur logarithmique important dans la borne finale. Le résultat ne change pas la vie quotidienne demain, mais il repousse la frontière de la compréhension en probabilité, analyse harmonique et fonctions booléennes. Il répond à une curiosité de longue date sur la manière dont certains objets mathématiques explosent lorsqu'ils sont testés dans des cas extrêmes, et il trouve la réponse exacte et précise, pas seulement une estimation. Avant cela, le meilleur résultat connu était plus faible. La solution de Grok 4.20 donne la borne la plus forte possible, et il s'avère qu'elle est mathématiquement optimale. Grok 4.20 a produit indépendamment une véritable amélioration au niveau de la recherche en mathématiques avancées, en quelques minutes, sur un problème sur lequel les humains avaient déjà travaillé pendant des années.