我對這個數學領域一無所知，但認真數學家們談論 AI 系統如何幫助他們的事實非常令人印象深刻。