NYHET: En tidlig betaversjon av Grok 4.20 viste bare hvor kraftig den er innen ekte matematikk. En forsker ga Grok 4.20 tilgang til et vanskelig matteproblem de hadde studert lenge sammen med en elev. Problemet handlet om å finne de beste mulige nedre grensene for visse tilfeldige og boolske systemer, noe eksperter vanligvis bare løser etter måneder eller år med arbeid. På omtrent fem minutter gjorde Grok 4.20 noe nytt. Den oppdaget en helt ny matematisk formel kalt en Bellman-funksjon. Denne formelen ga umiddelbart et sterkere og skarpere resultat enn tidligere kjent, og forbedret en viktig logaritmisk faktor i den endelige grensen. Resultatet endrer ikke dagliglivet i morgen, men det utfordrer grensen for forståelse innen sannsynlighet, harmonisk analyse og boolske funksjoner. Den svarer på en langvarig nysgjerrighet om hvor mye visse matematiske objekter eksploderer når de testes i ekstreme tilfeller, og finner det nøyaktig skarpe svaret, ikke bare et estimat. Før dette var det mest kjente resultatet svakere. Grok 4.20s løsning gir den sterkeste mulige grensen, og det viser seg å være matematisk optimalt. Grok 4.20 produserte uavhengig en reell forbedring på forskningsnivå i avansert matematikk, på minutter, på et problem hvor mennesker allerede hadde jobbet i årevis.