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 play money
1 Comment
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