Poll: LLMs are able to solve confusing but elementary geometric reasoning problems in 2024? | 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

This question is managed and resolved by Manifold.

Get

1,000

and

3.00

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.

Related questions

At the beginning of 2028, will LLMs still make egregious common-sensical errors?

Will an LLM be able to solve the Self-Referential Aptitude Test before 2027?

LLM Hallucination: Will an LLM score >90% on SimpleQA before 2026?

In 2025, will I be able to play Civ against an LLM?

When will LLMs be able to generate formal proof for sudoku solver?

Will an LLM be able to solve Raven's Progressive Matrices from an image in 2025?

Will the best public LLM at the end of 2025 solve more than 5 of the first 10 Project Euler problems published in 2026?

Will there be any simple text-based task that most humans can solve, but top LLMs can't? By the end of 2026

How Will the LLM Hallucination Problem Be Solved?

Will an LLM consistently create 5x5 word squares by 2026?

Related questions

At the beginning of 2028, will LLMs still make egregious common-sensical errors?

Will an LLM be able to solve Raven's Progressive Matrices from an image in 2025?

Will an LLM be able to solve the Self-Referential Aptitude Test before 2027?

Will the best public LLM at the end of 2025 solve more than 5 of the first 10 Project Euler problems published in 2026?

LLM Hallucination: Will an LLM score >90% on SimpleQA before 2026?

Will there be any simple text-based task that most humans can solve, but top LLMs can't? By the end of 2026

In 2025, will I be able to play Civ against an LLM?

How Will the LLM Hallucination Problem Be Solved?

When will LLMs be able to generate formal proof for sudoku solver?

Will an LLM consistently create 5x5 word squares by 2026?

© Manifold Markets, Inc.•Terms + Mana-only Terms•Privacy•Rules