Chat with the newest AI models to work on your hardest problems

Discuss your mathematics with GPT, Claude, Gemini and others in parallel.

Sign Up Show Sample Chat

Free 30-day rolling credit for every researcher. Your chats are not used for AI training. 357 researchers signed up.

The following frontier models are currently available

ModelAll models are queried through the business APIs of their companies. Your chats are not used for AI training. We have set up the service so that the companies store your data for as short a time as possible. Research problems solvedCorrect answers on the 100 research-level problems of the Leipzig Benchmark. The settings of each model are listed there. Answers kept by usersHow often users continued the conversation with an answer of this model family (all versions of the model, such as all Claude Opus versions). Median answer timeThe median time a model takes for an answer in the chat, at its default thinking effort. CostThe relative cost of a median answer in the chat, at the default thinking effort. $$$$ marks the most expensive model available.
GPT-6 Astra
91%
96% 1m29s $$$$
GPT-6 Sol
86%
90% 1m01s $$$$
Claude Opus 5.5
85%
70% 1m04s $$$$
Gemini 3.1 Pro
15%
54% 24s $$$$
GPT-6 Astra Pro premium model for prepaid credit
88%
95% 4m51s $$$$
Claude Fable 5.1 premium model for prepaid credit
79%
77% 3m28s $$$$

Based on 100 benchmark problems and 1876 chats with 5438 chat turns and 5386 model answers.

October 6, 2026 · Version 2 of our paper Benchmarks in Leipzig is now on arXiv. We believe that the current way of submitting benchmark problems has reached its limits, and we are looking into new ways of benchmarking. In the meantime, we are closing the submission system.
September 28, 2026 · Now available: GPT-6 Sol, GPT-6 Astra and Astra Pro from OpenAI, Claude Opus 5.5 and Claude Fable 5.1 from Anthropic.
September 28, 2026 · All 100 problems of the Leipzig Benchmark were re-run against the newest models, now including GPT-6 Sol and Claude Opus 5.5. Four problems were solved by none of the leading models.