Paata Ivanisvili
@PI010101 · 17. Okt. 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.
