Математика - это язык. Язык имеет внутреннюю структуру и правила.

Действуя в рамках этой структуры и правил, можно создавать новые высказывания.

То, что с помощью компьютеров можно доказывать теоремы, в том числе - создавать новые - далеко не новость.

Реально это новость уровня "компьютер превознемог человека-математика в извлечении кубического корня".

Вы знаете, что в 18-19 веке - да и в 20-м веке - существовали квалифицированные математики, не занимающиеся ничем, кроме как вычислением разных интересных функций? Таблицы Брадиса, ага.

И компьютеры (точнее, ещё арифмоментры) реально оказались в этом "умнее и быстрее".

А уж в шахматы как играют...