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