Китайский математик предложил 1000 задач, чтобы испытать возможности ИИ

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