Mathematician Ken Ono (https://en.wikipedia.org/wiki/Ken_Ono https://en.wikipedia.org/wiki/Ken_Ono) gives a well nuanced viewpoint on AI in Mathematics (and mor

Mathematician Ken Ono (https://en.wikipedia.org/wiki/Ken_Ono https://en.wikipedia.org/wiki/Ken_Ono) gives a well nuanced viewpoint on AI in Mathematics (and more) - https://www.youtube.com/watch?v=jGZOi-7haCw https://www.youtube.com/watch?v=jGZOi-7haCw He states that he struggled to come up with problems which would be challenging for AI to solve (at the below site) and thus forced to accept that mathematicians have to rethink their profession. FrontierMath: Benchmarking AI against advanced mathematical research by Epoch AI - https://epoch.ai/frontiermath https://epoch.ai/frontiermath As a follow up to the above, see "First Proof: Mathematicians Putting AI to the Test" featuring eminent mathematicians - https://www.youtube.com/watch?v=AaICCTpkI7Q https://www.youtube.com/watch?v=AaICCTpkI7Q