Матвей Кудашкин

Искусственный интеллект сегодня пишет код, ставит медицинские диагнозы и рисует картины. Кажется, что эта технология появилась буквально вчера на волне бума ChatGPT. Однако путь от философской мечты о механическом человеке до реальных алгоритмов занял почти три тысячи лет. История ИИ началась задолго до появления первого транзистора. Философы Древней Греции — Платон, Аристотель и Рене Декарт — первыми попытались препарировать человеческое мышление. Они искали ответ на вопрос: если логика состоит из набора правил и процедур, нельзя ли описать разум как математическую функцию? Аристотель создал силлогистику — первую в истории систему формальной логики...

Главной научной новостью дня стало заявление компании OpenAI. В ходе закрытого звонка вице-президент по исследованиям Себастьен Бюбек сообщил сенсационную новость: внутренняя модель компании смогла предоставить доказательство для уравнений Навье-Стокса. Это одна из семи «задач тысячелетия», за решение которой Математический институт Клэя назначил премию в один миллион долларов. Уравнения описывают движение вязкой жидкости и лежат в основе всей современной аэродинамики, метеорологии и гидродинамики. До сих пор доказать существование их гладкого решения (то есть подтвердить, что формулы не ведут к бесконечным разрывам) не мог ни один человек на планете...