It's not a counter example though. From that interview: > I think in three years AI will become useful for mathematicians. It will be a great co-pilot. You’re

It's not a counter example though. From that interview: > I think in three years AI will become useful for mathematicians. It will be a great co-pilot. You’re trying to prove a theorem, and there’s one step that you think is true, but you can’t quite see how it’s true. And you can say, “AI, can you do this stuff for me?” And it may say, “I think I can prove this.” > It’s a very exciting potential use of AI to create connections or at least point out possible connections. Right now it has a very lousy success rate. It might give you 10 suggestions of which one is interesting and nine are rubbish. It’s actually almost worse than random. But this could change in the future. As usual the title is embellished and his actual interview is it "might" be useful.