Poll: LLMs are able to solve confusing but elementary geometric reasoning problems in 2024?
14
Never closes
<10%
10-30%
30-50%
50-70%
70-90%
>90%

This is a derivative poll for the following base market

Polls
Get
Ṁ1,000
to start trading!
Sort by:

>90% if somebody puts in effort to train or prompt an LLM to translate the prompt to an SMT solver or geometric theorem prover tool.

But I vote 70-90% mostly because it might be that nobody bothers.

People are also trading

Will an LLM consistently create 5x5 word squares by 2026?
85% chance
At the beginning of 2028, will LLMs still make egregious common-sensical errors?
-6% 1d38% chance
Will I be impressed by the performance of LLMs on organic chemistry problems?
63% chance
Will an LLM be able to solve Raven's Progressive Matrices from an image in 2025?
73% chance
Will the best public LLM at the end of 2025 solve more than 5 of the first 10 Project Euler problems published in 2026?
78% chance
Will an LLM be able to solve a Rubik's Cube by 2025?
9% chance
Will LLMs be the best reasoning models on these dates?
Will LLMs be able to formally verify non-trivial programs by the end of 2025?
30% chance
Will an LLM be able to solve the Self-Referential Aptitude Test before 2027?
66% chance
LLM Hallucination: Will an LLM score >90% on SimpleQA before 2026?
60% chance
© Manifold Markets, Inc.•Terms•Privacy