25 лауреатів медалі Філдса, включно з українською математикинею Мариною Вязовською, оприлюднили спільну заяву щодо ризиків, які несе використання штучного інтелекту в математиці. Науковці занепокоєні тим, що технологічні компанії поспішно повідомляють про вирішення складних математичних задач, не приділяючи достатньо уваги поясненню доказів і визнанню внеску інших дослідників. Про це йдеться у блозі математика Теренса Тао, де 11 вересня було опубліковано заяву.
Автори підкреслюють, що для ШІ-компаній відомі математичні задачі стали способом демонстрації можливостей своїх моделей. Водночас для наукової спільноти важливими є не лише результати, а й нові ідеї та методи, які можуть використовувати інші дослідники. Щоб це стало можливим, математичний доказ має бути ретельно розібраний, обговорений із колегами та зрозумілий наступним поколінням науковців.
Підписанти заяви застерігають, що поспішні публікації ускладнюють цю роботу та можуть призводити до суперечок щодо авторства і плагіату. Окремо вони наголошують на важливості самостійної роботи студентів над задачами для розвитку навичок і формування нових питань. На думку авторів, використання ШІ має сприяти глибшому розумінню математики, зберігати належне визнання внеску дослідників та підтримувати умови для навчання молодих науковців.
"Чи буде це корисним для математики, значною мірою залежатиме від рішень людей, які розвивають ці технології", — йдеться у заяві.
Заява з’явилася на тлі суперечки навколо OpenAI. 8 вересня компанія повідомила, що її внутрішня ШІ-система знайшла розв’язання проблеми існування та гладкості рівнянь Нав’є — Стокса — однієї із семи «задач тисячоліття». За даними OpenAI, для отримання результату було залучено близько 10 тисяч ШІ-агентів, які працювали паралельно, а перевірка доказу у системі Lean тривала ще 17 годин. Паралельно над схожими задачами працювали професор Нью-Йоркського університету Трістан Бакмастер і математик Левент Алпьоґе з Anthropic. Бакмастер заявив, що OpenAI пропонувала йому написати статтю про результат компанії без співавторства Алпьоґе та висловив сумніви, чи не використала модель їхні неопубліковані напрацювання, завантажені в Codex. OpenAI це заперечує.
Марина Вязовська має досвід співпраці з розробниками математичного ШІ. У 2016 році вона розв’язала задачу про найщільніше пакування куль у восьмивимірному просторі, а згодом — у 24-вимірному. У 2022 році Вязовська отримала медаль Філдса. У 2024 році разом із Сідгартом Харіхараном вона ініціювала проєкт комп’ютерної перевірки цього доказу в системі Lean. Згодом до проєкту долучилася ШІ-система Gauss від Math, Inc., яка за кілька днів завершила формалізацію доказу, що зекономило команді близько пів року роботи.