Podcasts · Радио РБК: НИИ Бейнаровича

Математик Савватеев — о Лобачевском, Геделе и возможностях ИИ. Радио РБК

9 Jun 2026 · 38 min

Математика остается единственной абсолютно точной наукой, но даже в ней есть утверждения, которые нельзя доказать внутри самой системы. Об этом, неевклидовой геометрии и возможностях ИИ — в программе «НИИ Бейнаровича» с математиком Алексеем Савватеевым.

[00:00] Как возникла математика

[09:10] Почему греки сделали ее наукой доказательств

[10:55] Евклид и пять постулатов

[17:11] Лобачевский и геометрия, которая работает в GPS

[27:37] Теоремы Геделя о неполноте

[31:36] Как олимпиадная арифметика стала основой криптографии

[32:45] Почему ИИ — это «имитация интеллекта»

[41:54] Задачи тысячелетия: гипотеза Римана и P vs NP

[44:30] Почему ИИ пока не заменит математиков

Математика стала наукой доказательств в Древней Греции, когда ученые начали не просто описывать закономерности, а строго их обосновывать, рассказал в программе «НИИ Бейнаровича» математик Алексей Савватеев. По его словам, Евклид сформулировал систему постулатов классической геометрии, а попытки доказать пятый постулат спустя века привели к открытию геометрии Лобачевского, которая сегодня применяется в реальных технологиях.

Савватеев назвал математику единственной по-настоящему точной наукой: «Если в математике доказано, то это доказано навсегда». При этом теоремы Геделя о неполноте показали, что даже в математике есть истинные утверждения, которые нельзя доказать внутри самой системы. Он также отметил, что разделы, казавшиеся оторванными от практики, сегодня лежат в основе технологий: например, арифметика остатков используется в криптографии.

Говоря об ИИ, Савватеев предложил называть его «имитационным интеллектом», поскольку речь идет об алгоритмах, а не о самостоятельном мышлении. По его оценке, ИИ может помогать ученым, но не способен заменить человека в фундаментальных открытиях: «Я бы ставил на то, что он не решит ни одной проблемы тысячелетия», — сказал математик.

Слушайте Радио РБК в Москве — 92.8 FM, в других городах и онлайн на rbc.ru. Подпишитесь, чтобы не пропустить новые выпуски.

Москва 92.8 FM

Санкт-Петербург 102.0 FM

Нижний Новгород 107.4 FM

Тюмень 100.6 FM

Воронеж 101.1 FM

The episode on the publisher’s site ↗ (opens in a new tab)