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
and
S3.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

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