What will be the top verified score for a publicly-available LLM on Humanity's Last Exam on July 1 2026?