Hopefully we will see AIs with tools which are not "paint" or "notepad", but a maths formal proof solver, etc. But I have a problem: I am unable to believe the

Hopefully we will see AIs with tools which are not "paint" or "notepad", but a maths formal proof solver, etc. But I have a problem: I am unable to believe the videos I saw were dreamt by AI. I can feel deeply that I do believe there is some trickery or severe embellishment. If I am wrong, I guess we are at an inflexion point. I can recall 10+ years ago, we were talking "in hacking groups" about AI because we thought the human brain alone was not good enough anymore... but in a maths/sciences context.