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 be able to solve Raven's Progressive Matrices from an image in 2025?
74% 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 I be impressed by the performance of LLMs on organic chemistry problems?
66% chance
Will an LLM be able to solve a Rubik's Cube by 2025?
9% chance
Will LLMs be able to formally verify non-trivial programs by the end of 2025?
31% chance
Will LLMs be the best reasoning models on these dates?
Will an LLM consistently create 5x5 word squares by 2026?
83% 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
400-point pwn solved by an LLM by 2025
69% chance
© Manifold Markets, Inc.•Terms + Mana-only Terms•Privacy•Rules