Західні математики побоюються, що ШІ робить їх дурнішими, тоді як Китай будує цілий альянс заради нього

Поки західні математики чинять опір ШІ, Китай подвоює зусилля. Лауреат Філдсівської премії Шінг-Тунг Яу та група провідних китайських математиків у неділю в Пекіні запустили альянс, покликаний залучити ШІ до математичних досліджень. «Альянс лабораторії Яу з математики та штучного інтелекту» об’єднує вісім установ і має на меті створити мережу з понад 1 000 дослідників, повідомляє South China Morning Post. Яу попередив, що Китай відстає від США.

На Заході переважає скептицизм. Двадцять п’ять лауреатів Філдсівської премії, зокрема Теренс Тао та Петер Шольце, побоюються, що докази, згенеровані ШІ, підривають розуміння математики та роблять дослідників залежними від інструментів, за якими вони не можуть стежити. Частина спільноти закликає до бойкоту доказів, згенерованих ШІ, тоді як інші кажуть, що їх шокує величезний обсяг автоматизованих подань. Тим часом Китай прагне створити спеціалізовані моделі, розробити докази, які можна перевіряти машинним способом, і забезпечити прозоре міркування ШІ.

Навіть серед експертів, які використовують ШІ, немає єдиної думки щодо того, чи створює він справжнє математичне розуміння, чи лише грубо перебирає відомі методи, а також чи має це розрізнення взагалі значення.

Новини про ШІ без ажіотажу — відібрані людьми

Підпишіться на THE DECODER, щоб читати без реклами, отримувати щотижневу розсилку про ШІ, наш ексклюзивний передовий звіт «AI Radar» шість разів на рік, мати повний доступ до архіву та доступ до розділу коментарів.