К вопросу про ИИ и математику. ИИ опроверг довольно известную теорему. ИИ и раньше решал нерешенные задачки, но они все были пониже уровнем чем эта.
https://en.wikipedia.org/wiki/Jacobian_conjecture
Формально он конечно просто придумал контрпример. Но простым перебором такой пример не подобрать.
Mercator, спасибо