LLMs are pretty good at slogging through. When will they come up with brilliant breakthroughs like Andrew Wiles?

That’s just a counter example I can check by hand with almost zero background.

Wiles’s proof will remain a mystery to me.

thrance 2 hours ago | parent | prev [-]

Come on, you can't compare that with Wiles's proof.

Still unsolved for 87 years.

	▲	thrance 19 minutes ago \| parent [-]
		Meaningless on its own.