If anything, that makes the case that math is fucked even stronger. Nobody had any idea of how to prove quasi-Riemann. OpenAI produced three proofs, one of which was just a lemma in solving another problem. They have a machine that is better than every human being alive at math that solves problems humans cannot even when working inefficiently.

▲

vatsachak 6 hours ago | parent [-]

Math was never only about deduction. It's also about data curation.

I was taking to my friend in OA who was really surprised that the proof of L(F_2) = L(F_3) could be done in the 1980s. We just didn't have a superhuman deducer back then.

▲

dist-epoch 6 hours ago | parent [-]

All scientific break-troughs are obvious in retrospect.

Special relativity which Einstein got a Nobel for is now taught in high-school.

"Of course if you move a magnet in a piece of copper you will generate a current, it's extremely obvious it should be so"

	▲	vatsachak 5 hours ago \| parent [-]
		That's true. I'm not saying the work is trivial, I'm calling out the difference between "deduction from known data" and "distilling known data"