📚 Книга: Everything You Always Wanted To Know About #Mathematics*

▪Книга

@data_math

🎯 AI в математическом решении проблем — современные достижения и тренды

Недавние прорывы демонстрируют, как искусственный интеллект постепенно осваивает задачи, которые ранее считались пределом человеческого разума.

🎓 Прорыв от DeepMind

• AlphaProof + AlphaGeometry 2 научились решать задачи уровня Международной математической олимпиады
• AI получил серебро: 4 из 6 задач IMO решены, включая сложную геометрию
• Одна из задач была решена за 19 секунд — уровень мирового финалиста

🧠 Прогресс в больших языковых моделях

• GPT-4, Qwen2‑Math, rStar‑Math достигают 80–90% точности на математических задачах (MATH, AIME)
• Используют рассуждение по цепочке (Chain-of-Thought) и поисковые деревья
• Это повышает точность и уменьшает количество логических ошибок

📐 Формальная и творческая математика

• AI учится использовать proof-ассистенты (формальные доказательства)
• Метрика CreativeMath оценивает «творчество» AI — насколько оригинальны решения
• Это делает модели не просто калькуляторами, а потенциальными открывателями новых идей

📊 Что это даёт

Сфера | Возможности AI
-----|----------------------
Образование | Интерактивные помощники, обучение математике
Исследования | Генерация гипотез, автоматическое доказательство
Бизнес | Оптимизация, логистика, криптография, финтех

🧭 Куда движемся дальше

• Новый бенчмарк FrontierMath проверяет научные способности моделей
• Гибридные архитектуры: нейросети + символика + формальные системы
• Применения в науке, финансах, образовании — становятся повседневными

💬 А вы как думаете?

• Может ли AI когда-нибудь доказать теорему, которую не смог человек?
• Какие приложения AI в математике вам кажутся самыми перспективными?

Статья

#AI #Mathematics #DeepMind #LLM #FormalProof #Innovation

📚 Бесплатный учебник по теории игр - 578 страниц

Game Theory от Giacomo Bonanno — большой open-source учебник по некооперативной теории игр.

Внутри:

* основы теории игр и стратегического взаимодействия;
* равновесия и принятие решений;
* 165 задач с решениями;
* 163 иллюстрации;
* материал на стыке математики, экономики и Computer Science.

Хорошая база для тех, кто занимается ML, Multi-Agent Systems, математикой и алгоритмами.

📖 Скачать PDF: https://arxiv.org/pdf/1512.06808

#GameTheory #Mathematics #Statistics #Probability #MachineLearning

🧠 ОДИН ДУЭЛЬ ЧУТЬ НЕ УНИЧТОЖИЛ БУДУЩЕЕ МАТЕМАТИКИ

В 1832 году 20-летний математик умер после дуэли.

Его звали Эварист Галуа.

Но за несколько лет до смерти он сделал открытие, которое изменило математику навсегда.

В 18 лет Галуа создал идеи, которые позже стали основой теории Галуа.

Более 2000 лет математики пытались найти универсальную формулу для решения многочленов.

Они смогли решить уравнения:

✅ 2-й степени
✅ 3-й степени
✅ 4-й степени

Но для 5-й степени и выше общей формулы не существует.

Галуа объяснил не просто факт, а почему так происходит.

Он ввёл новые идеи о симметриях решений уравнений, которые позже стали фундаментом:

🔥 теории групп
🔥 современной алгебры
🔥 многих разделов математики и физики

Но при жизни его работу почти никто не признал.

Его статьи:

❌ отклоняли
❌ теряли
❌ игнорировали

Параллельно Галуа участвовал в политической борьбе и несколько раз попадал под арест.

В ночь перед дуэлью он понимал, что может погибнуть.

Он всю ночь записывал свои математические идеи и оставил заметку, что ему не хватает времени.

На следующее утро он был смертельно ранен.

Ему было всего 20 лет.

Спустя годы математики изучили его записи и поняли масштаб открытия.

Человек, которого при жизни почти никто не слушал, стал одним из основателей современной математики.

Иногда одна жизнь длиной 20 лет может изменить науку на века.

#Math #Mathematics #Programming #ComputerScience