In primo piano 19 luglio 2026 GPT-5.6 chiude un gap di ottimizzazione convessa aperto dal 1996 — verificato in Lean Reddit r/math charlesazam.com