А вот смогут ли математики дальше что либо развивать? В ближайшее время вся известная на текущий момент математика будет формализована в Lean, потом ИИ всё это прошерстит и выведет и оформит ещё не найденные закономерности. Хватит ли у человека интеллекта и времени чтобы понять такой объём информации и продвинуться дальше?
А что насчет общей формулы для всех простых чисел? ИИ это может? Если нет, то вот пускай математики ее и ищут или доказывают ее отсутствие.
(Оффтоп)
правда, я где-то слышал, что это знание очень-очень вредное и человекам оно не надобно
