VAROITUS: Grok 4.20:n varhainen beta-versio osoitti juuri, kuinka tehokas se on oikeassa matematiikassa. Tutkija antoi Grokille 4.20:lle pääsyn vaikeaan matemaattiseen tehtävään, jota he olivat opiskelleet pitkään yhdessä opiskelijan kanssa. Ongelma oli löytää parhaat mahdolliset alarajat tietyille satunnais- ja Boolen järjestelmille, jotka asiantuntijat yleensä ratkaisevat vasta kuukausien tai vuosien työn jälkeen. Noin viidessä minuutissa Grok 4.20 teki jotain uutta. Se löysi täysin uuden matemaattisen kaavan, jota kutsutaan Bellmanin funktioksi. Tämä kaava antoi välittömästi vahvemman ja terävämmän tuloksen kuin aiemmin tunnettu, parantaen tärkeää logaritmista tekijää lopullisessa rajassa. Tulos ei muuta arkipäivää huomenna, mutta se vie ymmärryksen rajoja todennäköisyyksissä, harmonisessa analyysissä ja Boolen funktioissa. Se vastaa pitkään jatkuneeseen uteliaisuuteen siitä, kuinka pahasti tietyt matemaattiset objektit räjähtävät, kun niitä testataan äärimmäisissä tapauksissa, ja löytää tarkan terävän vastauksen, ei pelkän arvion. Ennen tätä tunnetuin tulos oli heikompi. Grok 4.20:n ratkaisu antaa vahvimman mahdollisen rajan, ja se osoittautuu matemaattisesti optimaaliseksi. Grok 4.20 tuotti itsenäisesti todellisen tutkimustason parannuksen edistyneessä matematiikassa, minuuteissa, ongelmaan, jossa ihmiset olivat jo työskennelleet vuosia.