Філософське есе, яке доводить, що математичні відкриття, керовані штучним інтелектом, не обов’язково зменшує цінність людського математичного життя, привернуло широку увагу після появи в блозі Теренса Тао, математика з Каліфорнійського університету в Лос-Анджелесі, якого багато хто вважає одним із найкращих математиків. «Математика без его в епоху штучного інтелекту», опублікована 2 листопада, є гостьовим дописом комп’ютерних науковців Картіка С. С., Аміта Сахаї та Джі Сюе — при цьому Тао зазначив, що він перетворив текст для публікації за допомогою штучного інтелекту. Це есе швидко потрапило в Hacker News, де читачі обговорювали його головне твердження: математика була прекрасною ще до того, як хтось із нас народився, і її цінність не залежить від того, хто робить відкриття.
Твір з’являється в той момент, коли машинна допомога в математиці перейшла від новинки до інфраструктури. Формальні докази, перевірені за допомогою штучного інтелекту, створених машиною припущень і систем штучного інтелекту, які сприяють отриманню результатів на рівні досліджень, змусили працюючих математиків запитати не лише про те, що можуть робити машини, а й про те, що залишається від покликання, якщо відповідь буде «більша частина». Відповідь у есе є незвичайною серед думок про [найважливіші новини штучного інтелекту] (https://aibuzzwire.news) цього сезону: замість того, щоб захищати важливість людини перед машинами, вона виступає за те, щоб взагалі відмовитися від цього змагання.
Два погляди на математику, одна точка тиску
Автори починають із найдавнішого розколу у філософії математики: чи винаходять математики свій предмет — вводять поняття, обирають аксіоми, будують теорії — чи відкривають істини, які існують незалежно від них. Платонівський погляд, пишуть вони, дає природний пояснення цієї незалежності: «існувало нескінченно багато простих чисел, перш ніж хтось довів цей факт». Математична істина не чекає нашого визнання і не отримує від нього свого авторитету.
Відкриття, застерігають вони, не є пасивністю. Палеонтолог, який шукає скам'янілості, повинен вирішити, де проводити розкопки, розробити методику та визнати значення неповних останків. Подібним чином математичне відкриття може вимагати винайдення цілої мови та структури, через які раніше невидима структура стає видимою. Істини передують нам; шляхи до них людські всю дорогу вниз.
На цьому фундаменті есе будує свою точку тиску: правильний висновок – це не те саме, що розуміння його значення. Аксіоматична система дозволяє нескінченно багато висновків, але здатність їх робити не дає гідних напрямів дослідження. «Математичні твердження можуть бути формально правильними, але не повчальними», — пишуть автори. «Ми можемо ввести незліченну кількість визначень і довести незліченну кількість тверджень щодо них. Що робить одне визначення яскравим?» Це саме те питання, яке виникає щоразу, коли система штучного інтелекту наповнює офіційне сховище дійсними, але невмотивованими результатами.
Пастка визначення цінності машиною
Найгостріший аргумент есе спрямований на хід, поширений у сучасному дискурсі ШІ: захист людських цінностей шляхом відступу від того, що машини ще не можуть зробити. «Реакцією не може бути просто пошук притулку в характерних для людини здібностях, таких як креативність, інтуїція чи смак», — стверджують автори. «Якщо ми цінуємо ці здібності головним чином тому, що вони дають нам перевагу перед машинами, ми залишаємося в пастці тієї самої концепції інтелектуальної цінності. Чому цінність нашого прагнення має залежати від того, чи ми в цьому кращі, ніж хтось чи щось інше?»
Вони поширюють критику на структуру стимулів самого академічного життя. Публікації, цитування та нагороди є корисними показниками, визнають автори, але вони стають патологічними, коли визначають цінність роботи. Якщо виміряти таким чином, то математики стають сукупністю продуктивних здібностей, а математика стає їхнім результатом — каркасом, у якому машина, що випереджає людину, просто перемагає. У нарисі пропонується альтернатива, названа в назві: математика без его, практика, в якій цінність випливає з контакту з істиною, а не з первинності в її створенні.
Згідно з цією точкою зору, відкриття, зроблені штучним інтелектом, не стають приводом ні для горя, ні для хвилювання про статус. «Правда стала доступною, її цінність не зменшується через відсутність нашого авторства», — пишуть автори. Вони навіть пропонують це есе як мирну угоду між двома таборами, які тепер розділяють багато факультетів математики — тими, хто захоплюється інструментами штучного інтелекту, і тими, хто принципово утримується — припускаючи, що обидва можуть відображати однакову прихильність до самої математики.
Мистецький експеримент Рамануджана для завершення
Есе завершується уявним експериментом, взятим з історії математики. Ramanujan is reported to have said, "An equation has no meaning for me unless it expresses a thought of God" — a line the authors cite from Robert Kanigel's 1991 biography "The Man Who Knew Infinity" (published 1991, cited in their post from the 1992 edition). If he were alive today, witnessing AI's advances in mathematics, would he be perturbed by what they might mean for his purpose as a mathematician?
Автори чесно кажуть про власну позицію. "We, the authors of this essay, are still far from having attained such egolessness," they admit, describing the essay's ideal as one toward which they wish to strive. І вони передбачають очевидне заперечення — що все це звучить як прохання до математиків стати святими. "Insofar as it asks us to grow in virtue and relinquish our attachment to our own importance, that impression is not far from the truth," they write, arguing that the joy of understanding is more durable than the satisfaction of ranking above rivals.
Whether the argument convinces working mathematicians is a separate question — comment threads on the essay show plenty of skeptics who think the economics of academic careers make philosophy a luxury. But as a document of the moment, it captures something real: the fields closest to AI's advance are the ones most forced to articulate why their work matters, and one of mathematics' most-watched voices has now lent his platform to an answer that does not mention benchmarks, productivity, or national competition even once.
---
Будьте попереду ШІОтримуйте останні новини штучного інтелекту, аналіз і прориви — усе в одному місці.
Читати більше новин AI →
