GP missed the most important part of TFM's introduction:

> AI is now undeniably capable of making groundbreaking contributions across many areas of mathematics.