Reposted by Adrian Fraser
"The paper doesn't explain what parts are important. What parts are routine?” …this episode is a reminder that mathematics is about more than just finding a solution, said Maynard. "It wasn't about only answering this problem, it was about the human understanding behind it," he said.”
npr.org
AI solved one of math's hardest problems. Humanity learned nothing (so far)
OpenAI beat humans to solving the Navier-Stokes problem, but mathematicians say the AI's solution isn't telling them much.