> that never believed that AI could solve Millennium problems (or same in spirit)

How did that situation end up? Did it solve it on its own, or did it rip off another mathematician's work?