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

Market context

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?

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

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

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?

Will any LLM be able to multiply together arbitrary decimal numbers by the end of 2027?

How Will the LLM Hallucination Problem Be Solved?

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

Will LLMs such as GPT4 be considered a solution to Moravec’s paradox by 2030?

Related questions

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

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

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

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?

Will any LLM be able to multiply together arbitrary decimal numbers by the end of 2027?

How Will the LLM Hallucination Problem Be Solved?

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

Will LLMs such as GPT4 be considered a solution to Moravec’s paradox by 2030?

© Manifold Markets, Inc.•Terms•Privacy