«ИИ не решит задач тысячелетия»: Савватеев — о будущем математики в эпоху нейросетей

Математика остается единственной абсолютно точной наукой, но даже в ней есть утверждения, которые нельзя доказать внутри самой системы. Об этом, неевклидовой геометрии и возможностях ИИ — в программе «НИИ Бейнаровича» с математиком Алексеем Савватеевым • [00:00] Как возникла математика • [09:10] Почему греки сделали ее наукой доказательств • [10:55] Евклид и пять постулатов • [17:11] Лобачевский и геометрия, которая работает в GPS • [27:37] Теоремы Геделя о неполноте • [31:36] Как олимпиадная арифметика стала основой криптографии • [32:45] Почему ИИ — это «имитация интеллекта» • [41:54] Задачи тысячелетия: гипотеза Римана и P vs NP • [44:30] Почему ИИ пока не заменит математиков