РЖД, FESCO и разработчик ИТ-решений «Астрал» приступили к созданию Национальной цифровой транспортно-логистической платформы. Для реализации проекта уже зарегистрирована отдельная компания — «ЦТЛП Лотус». На первый взгляд это ещё один крупный цифровой проект. Но если смотреть шире, речь идёт о серьёзной перестройке всей логистической системы. Создание единой платформы означает, что участники рынка постепенно будут работать в одном цифровом контуре. В перспективе это даст: Для отрасли это важный шаг: логистика становится не просто набором отдельных операций, а управляемой цифровой системой...

Недавно OpenAI опубликовала решение одной из так называемых «Призовых задач тысячелетия» (Millennium Prize Problems) — семи фундаментальных математических проблем, каждая из которых отмечена призом в 1 миллион долларов от Института математики Клэя. Речь идёт о задаче о существовании и гладкости уравнений Навье–Стокса — вопросу, который оставался открытым почти 90 лет. Важная оговорка: публикация — это анонс самой OpenAI. Доказательство формализовано в Lean (о чём ниже), так что компьютер может проверить его независимо, но полное рецензирование математическим сообществом ещё впереди...