> I'm not sure there's any evidence to suggest exploring and refining results is outside their capabilities

OP didn’t suggest that.

The bar has been raised. Everyone has to meet it now. An inelegant solution squatted onto the internet doesn’t count as discovery per se, even if it’s impressive.

▲

auggierose 5 hours ago | parent [-]

A correct solution verified in Lean will count in perpetuum. It is fine if you want more, but an achievement is an achievement, even if it is by AI.

	▲	oliculipolicula 3 hours ago \| parent [-]
		Hmmmm. It feels right that discovery is much more meaningful than achievement. "Bullshit lean proof" or "bullshit achievement" smells like it. "bullshit discovery" smells like a front-handed insult