Математика не для всех

Как дочь Байрона придумала программирование Ада Байрон родилась в 1815 году и была единственным законным ребёнком лорда Байрона. Но знаменитого отца она почти не знала: родители расстались вскоре пос

➡️Куча постов, что ИИ наконец-то решил теорему Навье-Стокса. Ну офигенно же? Заживем, братцы!😄 Начал разбираться с логичным вопросом: "и чо?" Даю трибуну для ЖПТ: Вообще Навье-Стокс - это не одн

От исходного кода до процессора: разберись, как работает программа 💻 Стартует практический курс YADRO «Системное программирование с использованием языка С» для тех, кто уже знаком с синтаксисом C и

Всё так

ИИ помог формализовать доказательство Перельмана Команда математиков сообщила о полной формализации доказательства гипотезы Пуанкаре на языке Lean — при помощи ИИ. Результат, полученный Григорием П

Коллеги, мы сейчас пытаемся заставить ллм продвигать математику. В нашем проекте CayleyPy у нас много гипотез которые идеально ложатся на ллм - с одной стороны они (вероятно) не супер сложны, с друг

Хочешь стать аналитиком? Подай заявку на олимпиаду DANO Попробуй себя в роли аналитика на олимпиаде НИУ ВШЭ и Т-Банка. Тебя ждут: — Тест-драйв профессии до поступления. — Задания, составленные на реа

Безупречная арифметика На въезде в город Голд-Хилл, штат Колорадо, можно увидеть один из самых необычных дорожных знаков во всех США. Год основания: 1859. Высота над уровнем моря: 8463 фута. Насел

Считать с запретами Пусть aₙ — число двоичных строк длины n, в которых нет двух соседних единиц. Если первая цифра 0, дальше можно поставить любую допустимую строку длины n−1. Если первая цифра 1, сл

(без текста)