Jeg misunner ikke de som vurderer First Proof-svar. Da vi evaluerte Grok 4, måtte jeg be om hjelp til en av USAMO-løsningene deres. En klassing sa 7/7. En annen sa 0/7: strålende tilnærming, men den baserer seg snikende på konveksiteten til dette ikke-konvekse settet. Den andre vurdereren var enig, og