Terence Tao says AI is discouraging mathematicians from doing research, may damage the future of the field, and hasn’t really discovered new math ideas even though it has a HUGE untapped potential: “AI can solve these problems but it hasn’t really made new connections […] discover new ideas or […] allow us to understand existing theory better. Maybe in the future it will […] but […] we’re just sort of brute force throwing it at problems and just seeing which ones get solved, which ones don’t.” and on OpenAI’s Navier-Stokes solution: “The proof is 100 pages and it’s AI generated […] but it did come with a formal proof certificate […] So we do know it’s correct. […] We’ve learned about nothing mathematically from what they did.” “People are discouraged from working in the area now […] they’re just worried that […] AI’s will just scoop all their results. […] There was quite a lot of activity around Navier-Stokes […] and now it’s all kind of in disarray right now.” “It’s like strip mining the landscape […] you get all the fruits, but then […] the landscape is barren afterwards.” “There’s a responsible way to […] solve problems that develops a field and then there’s this irresponsible way […] you get your immediate goal but at the cost of damaging the future development of the field.” “Maybe in the future it will […] but […] it will require thinking about how to integrate AI into math in a different way than it is now where we're just sort of brute force throwing it at problems and just seeing which ones get solved, which ones don't. […] That's already sort of useful but it's only a tiny fraction of what AI could do.” I suggest watching the whole interview: