Comment by deviation

Genuine question, from someone with a non-math background - at what point does the constraint become the number of unsolved conjectures remaining, instead of the ability for LLMs to actually solve for one?