First Proofの回答を採点している人たちが羨ましくありません。Grok 4を評価した際、そのUSAMOソリューションの一つについて助けを求めなければなりませんでした。ある採点者は7/7と言いました。別の方は0/7:素晴らしいアプローチですが、この非凸集合の凸性にこっそりと依存しています。他の採点者も同意してくれました