Китайский математик Сунь Чживэй собрал более 1000 нерешенных гипотез…

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

Ученый отключает ИИ доступ к интернету, чтобы система не узнала, что задача до сих пор не решена, и не отказалась работать. Сам математик сравнивает искусственный интеллект с «очень эрудированным, прилежным и умным аспирантом».