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

LLM Hallucination: Will an LLM score >90% on SimpleQA before 2026?
13% chance
400-point pwn solved by an LLM by 2025
54% chance
In 2025, will I be able to play Civ against an LLM?
3% chance
Will an LLM consistently create 5x5 word squares by 2026?
80% chance
At the beginning of 2028, will LLMs still make egregious common-sensical errors?
-3% 1d55% 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?
70% chance
Will an LLM be able to solve the Self-Referential Aptitude Test before 2027?
79% 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?
When will LLMs be able to generate formal proof for sudoku solver?
© Manifold Markets, Inc.•Terms•Privacy