ИИ и математика

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

MathNet: база из 30 000 олимпиадных задач по математике из 47 стран

Ребята из MIT собрали базу из 30 тысяч олимпиадных задач из 47 стран, MathNet, доступную всем и с удобным интерфейсом.

Математика для ML и AI: линейная алгебра, вероятность и оптимизация

ИИ-математики: как нейро-символьный ИИ открывает математические формулы

В 2030 году возможен такой заголовок:«ИИ получил все Нобелевские премии — и Филдсовскую тоже».

Goedel-Prover v2: ИИ-доказчик теорем с формальной верификацией на Lean

В последние годы ИИ-модели научились решать всё более сложные математические задачи — вплоть до уровня Международной математической олимпиады (IMO). Однако…

ИИ против уравнений Навье–Стокса: решит ли AlphaEvolve задачу тысячелетия за $1 000 000?

Уравнения Навье–Стокса описывают движение воздуха, жидкостей и вообще любых потоков — всё, что нас окружает. Но есть одна небольшая особенность:…

Разворот эффекта Флинна: как ИИ и гаджеты снижают наш интеллект

🧠 Куда уходит интеллект? И при чём тут ИИ?

AlphaEvolve от DeepMind побил рекорд Штрассена: ИИ нашёл новый алгоритм умножения матриц 4×4

На этой неделе DeepMind от Гугла поделился интересными новостями. Последнее время они работали над проектом AlphaEvolve, ИИ на основе LLM…

Vital Math

Философия чисел, история открытий, ИИ и математика, прикладные задачи — живые тексты о том, как математика устроена и зачем она нужна.