Китайский математик Сунь Чживэй собрал свыше 1000 нерешенных гипотез и привлек искусств...
Китайский математик Сунь Чживэй собрал свыше 1000 нерешенных гипотез и привлек искусственный интеллект к поиску их доказательств, сообщает South China Morning Post. Профессор Нанкинского университета обещает денежные вознаграждения из своей зарплаты за решение некоторых из этих задач. Ученый отключает ИИ от интернета, чтобы система не узнала о нерешенности задач и не прекратила работу. Сунь Чживэй сравнивает искусственный интеллект с «очень образованным, трудолюбивым и умным аспирантом».