ИФ
Интересные Факты, Космос, Наука, История, Животные, Человек, Мир
Наука · 14 августа 2026 г.
Теренс Тао, признанный величайшим математиком нашего времени, заявляет: ИИ загоняет мат...
Теренс Тао, признанный величайшим математиком нашего времени, заявляет: ИИ загоняет математику в кризис. Машины начали решать задачи, которые десятилетиями считались неразрешимыми для людей — и делают это не перебором, а находя неочевидные структуры. Тао сравнивает момент с изобретением калькулятора, только вместо арифметики под удар попадает сама суть математического доказательства. Если нейросеть выдает верный результат, но человек не может пройти по её логике — это знание или черный ящик? Поле стоит перед выбором: переопределить, что такое «доказательство», или признать, что часть истины станет недоступна пониманию. 🔬 Факты
50 просмотров