Have mathematicians finally outdone AI?

While AI seems omnipotent and forever-learning, a team mathematicians and AI researchers have developed an unsolvable computing problem. This is because learnability is constrained by unprovable mathematics.