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 7 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 6 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"