If the Grok 4 leaked benchmarks are right, it is going to be very useful that Humanity’s Last Exam has a holdout set of questions, because a rumored 45% score is a very big gain over the 20% or so of o3 & Gemini, and it would be pretty impressive (assuming no data contamination)