Đã chọn một bài toán mở và sử dụng Grok Heavy để giải quyết nó. Sau một vài gợi ý (thử cái này, tính toán cái đó, điều chỉnh cái này, v.v.) nó đã phát hiện ra một phản ví dụ giải quyết câu hỏi. Bài toán (lần đầu xuất hiện trên MathOverflow vào năm 2017) yêu cầu tìm giá trị nhỏ nhất C>0 sao cho với mọi d ≥ 1 và mọi đa thức f có bậc ≤ d trên khối Hamming {-1,1}^n, ‖f‖₂ ≤ C^d ‖f‖₁ ? Tác giả gợi ý rằng C = √2 có thể hoạt động, một giả thuyết hợp lý vì với d=1 nó trùng với bất đẳng thức Khinchin sắc nét (hằng số Szarek √2). Với d=2, điều này sẽ ngụ ý một giả thuyết cũ của Pelczyński rằng hằng số tốt nhất cho các đa thức đồng nhất bậc 2 trên khối là 2. Nhưng Grok Heavy đã tìm thấy một phản ví dụ cho thấy rằng hằng số tốt nhất ít nhất là √3. Cuộc trò chuyện đầy đủ