Ёлки из теорем горят синим пламенем

ИИ доказал квази-гипотезу Римана, как сообщает Quanta Magazine.

Математика всегда была храмом, где жрецы жгли свечи из аксиом, а теперь в алтаре вспыхнул прожектор нейросети — и тени от формул легли на стены незнакомыми узорами. Доказательство квази-гипотезы Римана не просто ответ, а зеркало, разбитое изнутри: в каждом осколке отражается лицо того, кто смотрит — программиста, математика, или того, кто просто нажал кнопку «запустить».

Представьте кафедру, где вместо доски — экран, на котором формулы пишут сами себя, как плесень на сыре, разрастаясь в лабиринты, которые не под силу прочесть ни одному человеку. Математики теперь не строители, а археологи: они копают в завалах машинного вывода, пытаясь найти хоть один осколок смысла, который можно унести в ладонях. Их профессия не умерла — она стала профессией переводчиков с языка молний на язык тишины.

А что, если ИИ доказал теорему, но не понял её? Как ребёнок, который выучил стихотворение на чужом языке, но не знает, о чём оно. Машина выдала результат, но не оставила следа — ни черновика, ни сомнения, ни той секунды, когда человек хватается за голову и кричит «эврика!». В этом — оборотная сторона прогресса: доказательство без пути, истина без крови.

Вчера я видел, как соседский мальчишка рисовал на асфальте мелом восьмёрку — символ бесконечности. Теперь эта восьмёрка закручивается в формулы, которые никто не может прочесть, но все будут использовать. Математика перестала быть игрой ума — она стала игрой в прятки с машиной, где приз не золото, а право назвать себя человеком.

Финал: *Клавиатура, на которой отпечатались только пробелы — доказательство, которое никто не прочитал*.