Currently, near the end of 2023, the chatbot arena leaderboard is topped by GPT-4-Turbo. The license column of the leaderboard marks this LLM as "proprietary".
This question resolves YES if, at the end of 2024, there is a model on the leaderboard which ranks higher than GPT-4-Turbo, but which is open-source. This means that model weights/other code for the model should be available for public download and possible to run, given a powerful-enough computer.
The Elo rating of the highest ranking open source model will be compared to the Elo rating of GPT-4-Turbo on the close date. If GPT-4-Turbo is no longer listed, then the Elo rating of the highest ranking open source model will be compared to 1217, the current Elo rating of GPT-4-Turbo as of market creation.
Resolves YES (at the end of 2024, technically) because, even though people debate whether Llama-3.1 is open source, it clearly meets the definition in this market, "model weights/other code for the model should be available for public download and possible to run, given a powerful-enough computer."