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

Описание

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

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