Non invidio le persone che valutano le risposte del First Proof. Quando abbiamo valutato Grok 4, ho dovuto chiedere aiuto su una delle sue soluzioni USAMO. Un valutatore ha detto 7/7. Un altro ha detto 0/7: approccio brillante, ma si basa subdolamente sulla convessità di questo insieme non convesso. L'altro valutatore ha concordato e