Je n'envie pas les personnes qui notent les réponses de First Proof. Lorsque nous avons évalué Grok 4, j'ai dû demander de l'aide sur l'une de ses solutions USAMO. Un correcteur a dit 7/7. Un autre a dit 0/7 : approche brillante, mais elle repose sournoisement sur la convexité de cet ensemble non convexe. L'autre correcteur a été d'accord et