🤖 AI модели начинают решать сложнейшие математические задачи с ПРЕРЫВОМ! 🚀
1️⃣ GPT 5.2 показывает: модели становятся лучше в математическом рассуждении, и уже помогают решать более 15Problems по Эрдешу, 11 из которых — с участием ИИ. Это ВАЖНО для развития автоматизации науки!
2️⃣ Теорема о предоставлении доказательств: модели используют факты из математики, такие как формулы Лежандра, постулаты Берланда и теорему Звезды Давида, что демонстрирует ШИРОКИЙ диапазон элементов.
3️⃣ Эксперты: такие лидеры, как Теренс Тау, подчеркивают — автоматизация усиливает работу математику, особенно в «длинном хвосте» трудных задач, и помогает формализовать решения.
4️⃣ Внедрение open-source инструментов типа Lean и автоматизация формализации значительно ускоряет эти процессы, открывая новые горизонты для исследований.
