That’s an admittedly silly question. My real question: why doesn’t it return any google hits yet?

I have no problem with AI and find it exciting that these longstanding math problems are being solved, but I hope I die with my Bender and Orszag in my hands.