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.
replyMath was never only about deduction. It's also about data curation.
replyI 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.
All scientific break-troughs are obvious in retrospect.
replySpecial 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"
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"
reply