Skip to main content
MANIFOLD
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

Market context
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 be able to solve the Self-Referential Aptitude Test before 2027?
80% chance
Will there be any simple text-based task that most humans can solve, but top LLMs can't? By the end of 2026
59% chance
What tactic will prove the most mathlib lemmas at the end of 2026?
At the beginning of 2028, will LLMs still make egregious common-sensical errors?
65% chance
Will an LLM score >=85% on FrontierMath Tier 4 before 2028?
87% chance
When will LLMs be able to generate formal proof for sudoku solver?
Will any LLM be able to multiply together arbitrary decimal numbers by the end of 2027?
65% chance
How Will the LLM Hallucination Problem Be Solved?
When will the next paradigm in LLMs (after reasoning) be released?
Will an LLM score >=95% on SimpleBench before 2028?
81% chance