Paata Ivanisvili
@PI010101 · Oct 17, 2025
Grok 4 heavy spots a subtle gap in a 1995 published paper! I asked it to numerically verify every step—confirmed correct. But impressively, it noted the proof in the paper skips verifying joint convexity in Lemma 3.
