Да уж... Недалек год когда ИИ всерьез возьмется за задачи тысячелетия. Хотя может быть сейчас это и выглядит спорно, но в целом поверить не так уж и сложно

https://openai.com/index/ten-advances-in-mathematics/