Теренс Тао про переосмислення математики в епоху AI

Теренс Тао у своїй новій статті пропонує переосмислити цілі математичних досліджень в епоху штучного інтелекту. Він стверджує, що математики не втратять роботу, навіть якщо AI змінить спосіб вирішення задач.
Теренс Тао про переосмислення математики в епоху AI
У Теренса Тао вийшла нова стаття-ессе, повністю присвячена проблемі переосмислення математики в епоху штучного інтелекту.
Якщо коротко, учений пропонує взагалі перестати сперечатися про те, наскільки потужним стане AI в математиці, і подумати про те, що насправді є метою математичного дослідження, якщо вирішення задач перестає бути вузьким місцем.
На справді, вирішення задачі – це не лише вирішення задачі. При найближчому розгляді процес розгортається в п'ять етапів: генерація доказу → верифікація → зрозуміле викладення → прийняття спільнотою → канонізація (вбудовування в підручники та стандартний апарат області).
Так от, AI бере на себе лише перші два пункти. На людях же залишається все інше, а саме: розуміння, пояснення, публічні обговорення, зв'язок знайдених рішень з існуючою теорією та перетворення їх на матеріал, яким дійсно можна користуватися на благо науки. Це все можна узагальнити як «колективне засвоєння знань», і воно зовсім не піддається автоматизації.
Таким чином, теза Тао така: математики не позбудуться роботи, навіть коли AI повністю знецінить пошук рішень. Просто їхня робота зміститься до того, що раніше вважалося менш престижним, але завжди було суттю науки – розумінню та викладенню.
Чому це важливо
АналітикаЦя стаття важлива, оскільки вона підкреслює, що навіть в умовах розвитку AI, роль математики та математиків залишається незмінною. Розуміння та пояснення теорій залишаються критично важливими для науки.
Обговорити новину у спільноті
Діліться своїм досвідом та думками з ШІ-розробниками
Пов'язані матеріали екосистеми
Практичні гайди, термінологія та агентські скіли
Профіль Hermes: OSINT-дослідник та глибокий веб-ресьорч
Профіль аналітика відкритих джерел (OSINT) Hermes: багатоетапний інтернет-пошук, верифікація першоджерел, конкурентна розвідка та фактчекінг.
NotebookLM + Perplexity для роботи, навчання та заробітку
Що таке NotebookLM і Perplexity
Binance оприлюднили розслідування крадіжки $6,3 млрд
Розслідування пов’язує масштабну крадіжку з модифікованим Homebrew, фальшивою співбесідою та використанням внутрішнього ШІ-інструменту Binance.
Користувач Reddit з’ясував, чому тижневі ліміти Claude Code витрачаються майже вчетверо швидше
Користувач Reddit порівняв використання токенів за два тижні та виявив, що на кожен 1% тижневого ліміту Claude Code тепер припадає значно менше вихідних токенів, а основними підозрюваними стали субагенти, тривалість міркувань і фонові запити інтерфейсу.