ai über alles: “GPT was helped by the facts that human mathematicians had wasted most of their time trying to prove Erdös right …”

Posted on by

https://scottaaronson.blog/?p=9782

“… even if they did look for a counterexample, they’d need to be experts in algebraic number theory to find this one, which hardly any discrete geometers are”

It’s the breadth of expertise that is beyond human capability