The 88% is our self-reported score on our internal implementation of Aider polyglot.

The leaderboard score would come from Aider independently running GPT-5 themselves. The score should be about the same.

(I work at OpenAI.)