Jag avundas inte de som rättar First Proof-svar. När vi utvärderade Grok 4 var jag tvungen att be om hjälp med en av deras USAMO-lösningar. En klassare sa 7/7. En annan sa 0/7: briljant tillvägagångssätt, men det förlitar sig smygande på konvexiteten hos denna icke-konvexa mängd. Den andra betygsättaren höll med och