|
|
|
|
|
|
by hxypqr
888 days ago
|
|
|
The problem is that LLM as a role for drawing auxiliary lines is too inefficient. It is hard to imagine people deploying a large number of machines to solve a simple IMO problem. This field must be in the early stage of development, and much work remains unfinished |
|
|