Математик Теренс Тао закликав перейти до ери Maths 2.0 через розвиток ШІ
Математик Теренс Тао закликав до ери Maths 2.0, де ШІ допомагатиме поглиблювати людське розуміння математичних доказів.
Математик Каліфорнійського університету в Лос-Анджелесі Теренс Тао закликав започаткувати еру «Maths 2.0», у якій пріоритетом стане людське розуміння математичних доказів, а не лише дедалі швидше отримання нових розв’язків за допомогою штучного інтелекту.
У колонці для Nature Тао зазначив, що передові моделі ШІ стрімко змінюють математику. За його словами, протягом останніх місяців були оприлюднені створені за допомогою ШІ докази для сотень давніх математичних задач, тоді як фахівцям можуть знадобитися місяці, аби повністю зрозуміти аргументи та наслідки таких рішень.
Проблема засвоєння доказів
Тао вважає, що математики вже стикаються з практичними труднощами. Частину результатів, згенерованих ШІ, описано недостатньо чітко, щоб вони відповідали стандартам наукової публікації. Деякі дослідники після отримання мінімально придатного до представлення доказу переходять до наступної задачі, залишаючи результати, які іншим математикам важко оцінити.
Також, за словами науковця, незрозуміло, наскільки моделі ШІ використовують попередні роботи математиків без належного зазначення авторства. Відкрите поширення математичних задач, що має багатовікову традицію, опинилося під загрозою: дослідники побоюються, що розкриття напрямів їхньої роботи дозволить конкурентам із передовими моделями ШІ випередити їх.
Ризики для прикладних моделей
6 жовтня компанія OpenAI одночасно опублікувала онлайн сотні розв’язків таких задач, що, за оцінкою Тао, за одну ніч порушило численні дослідницькі програми. Він назвав наслідком цього явища відставання людського розуміння від темпів, із якими ШІ створює нові результати.
Науковець застеріг, що проблема може вийти за межі чистої математики. Складні моделі, створені ШІ, уже певною мірою застосовують для визначення права на банківський кредит і вимірювання фінансових ризиків. Якщо їхня складність випереджатиме здатність людей розуміти можливі збої, зростатиме ризик непередбачених помилок для широкої публіки. Водночас Тао вважає, що за відповідальних практик і змінених стимулів ШІ може посилювати людське розуміння.
