Теренс Тао та 24 медалісти Філдса опублікували відкритий лист на захист математики в епоху ШІ

Теренс Тао і ще 24 філдсовських медаліста опублікували відкритий лист у захист математики в епоху ШІ. Автори стверджують, що цілі AI-компаній і цілі математичного співтовариства серйозно розійшлися, і гонка за рішеннями відкритих задач може не тільки не розвивати науку, але й обесцінювати інтелектуальну працю.

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

А саме: рішення оголошуються в поспіху, без виділення нових методів і нормального цитування.

1. Це піднімає чисто етичні питання атрибуції і плагиату.
2. Такий підхід ускладнює повторне використання результату. Конечний пруф ≠ розуміння. І так, сам факт рішення якоїсь відкритої задачі важливий. Але науку рухає не стільки це, скільки доповіді, обговорення і адаптація ідей і методів з доказу. Якщо наукове співтовариство не встигає детально розглянути, обговорити і перетворити в передаване знання рішення, які ШІ штампує пачками, то наука і інтелектуальна праця в кінцевому підсумку взагалі обесціняться.

Лист не вимагає зупинити ШІ і навіть не формулює конкретних заходів. Автори лише окреслюють проблему і закликають подумати над тим, як в епоху ШІ-доказів не втратити з виду, ради чого вся ця робота взагалі існує.

Кстати, на даний момент лист набрало вже більше 3000 підписів від дослідників і математиків.