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

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.

Related questions

Will I be impressed by the performance of LLMs on organic chemistry problems?

-6% 1d66% 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?

When will the next paradigm in LLMs (after reasoning) be released?

Will LLMs be the best reasoning models on these dates?

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

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

Will an LLM be able to solve a Rubik's Cube by 2025?

Will LLMs be able to formally verify non-trivial programs by the end of 2025?

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

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

Related questions

Will I be impressed by the performance of LLMs on organic chemistry problems?

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 an LLM be able to solve a Rubik's Cube by 2025?

When will the next paradigm in LLMs (after reasoning) be released?

Will LLMs be able to formally verify non-trivial programs by the end of 2025?

Will LLMs be the best reasoning models on these dates?

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

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?

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