Ein offenes Problem ausgewählt und Grok Heavy verwendet, um es zu lösen. Nach ein paar Eingaben (versuche dies, berechne das, passe dies an usw.) entdeckte es ein Gegenbeispiel, das die Frage klärt. Das Problem (das erstmals 2017 auf MathOverflow erschien) fragt, ob man das kleinste C>0 finden kann, sodass für jedes d ≥ 1 und jedes Polynom f mit Grad ≤ d im Hamming-Würfel {-1,1}^n, ‖f‖₂ ≤ C^d ‖f‖₁ gilt? Der Autor schlägt vor, dass C = √2 funktionieren könnte, eine plausible Vermutung, da es für d=1 mit der scharfen Khinchin-Ungleichung (Szareks Konstante √2) übereinstimmt. Für d=2 würde es eine alte Vermutung von Pelczyński implizieren, dass die beste Konstante für 2-homogene Polynome im Würfel 2 ist. Aber Grok Heavy fand ein Gegenbeispiel, das zeigt, dass die beste Konstante mindestens √3 ist. Das vollständige Chat-Gespräch.