Результатов найдено: 306
Создана система ИИ для "перевода" устных математических формул в текст
27 апр 2026
0
0
- Российские ученые разработали систему ИИ для "перевода" устной речи математиков в текстовые математические формулы.
- Решение позволяет получить структурированный текст в формате LaTeX, который широко используется в научных статьях и учебных…
Общество как уравнение. Доступно ли социально-гуманитарное познание математическому описанию?
27 апр 2026
0
0
- Общество может быть описано математически, но требует другого масштаба наблюдения.
- Математический аппарат для описания общества уже применяется в различных областях, таких как теория игр, стохастические процессы, дифференциальные уравнения и теория…
Китайский ИИ решил давнюю математическую задачу без участия человека
14 апр 2026
0
0
…формализации).
- Rethlas обращается к поисковой системе Matlas для изучения стратегий решения, имитируя мыслительный процесс математика.
- Когда Rethlas находит потенциальное доказательство, Archon преобразует его в проект для интерактивного доказательства теорем Lean…
Стивен Вольфрам как преемник Канта и Гегеля
6 мар 2026
0
0
…исторична.
> 3. Гильберт попытался формализовать: математика должна стать языком реальности.
> 4. Гёдель показал предел формализации: математика не может обосновать сама себя полностью.
> 5. Вольфрам интегрирует предел в…
От предсказания кристаллов — до революции в науке. Как создавали российский алгоритм USPEX 25
3 мар 2026
0
0
- Российский алгоритм USPEX 25 считается революцией в науке, позволяя проводить исследования на обычном ноутбуке.
- Молекулярное моделирование - важная и сложная задача, требующая понимания расположения атомов в соединениях.
- До 2000-х гг…
Модель ИИ Google DeepMind решила 13 открытых математических проблем
13 фев 2026
0
0
- Google DeepMind представила ИИ Aletheia на базе модели Gemini Deep Think.
- Aletheia специализируется на математике и решает открытые математические задачи.
- Результативность модели пока слабая: 93,5% решений ошибочны или являются…
Ведущие модели ИИ пока не могут решать оригинальные математические задачи
11 фев 2026
0
0
- Ученые из США провели эксперимент по оценке способностей ИИ решать исследовательские задачи по математике.
- ИИ столкнулся с неопубликованными проблемами из текущего исследования авторов.
- Десять задач охватывали различные области математики.
- Эксперимент…
Модель находит баг в криптографии, а криптограф узнаёт от неё новую математику
6 фев 2026
0
0
- Статья посвящена использованию AI в научных исследованиях.
- В феврале 2026 года Google опубликовал препринт на 151 страницу о возможностях AI.
- В препринте представлены исследования, в которых AI помогает исследователям решать…
Математики МГУ получили премию президента РФ за топологическое моделирование
4 фев 2026
0
0
- Математики МГУ Виктория Ведюшкина, Владислав Кибкало и Глеб Белозеров получили премию президента РФ в области науки и инноваций для молодых ученых за 2025 год.
- Премия присуждается с 2008 года за…
Российский математик решил задачу, 192 года считавшуюся нерешаемой
28 янв 2026
0
0
- Российский математик Иван Ремизов нашел общую формулу для решений дифференциальных уравнений второго порядка с переменными коэффициентами.
- Формула позволяет обойти исторический тупик и решить задачи, считавшиеся "безнадёжно неразрешимыми" аналитически.
- Ремизов расширяет…
ИИ решает сложнейшие математические задачи, но сможет ли он стать лучше величайших математиков?
23 янв 2026
0
0
…решении задач, которые не под силу лучшим математикам.
- ИИ может быть полезным в исследовательской математике, выдвижении гипотез и доказательстве существующих гипотез.
- ИИ может изменить саму суть профессии математика, но математики…
Новый ИИ видит простые правила там, где человек видит лишь хаос
23 дек 2025
0
0
- Новый ИИ из США изучает эволюцию систем и сводит тысячи переменных к компактным уравнениям.
- Метод может применяться в физике, инженерном деле, климатологии и биологии.
- ИИ способен обрабатывать сложные системы, превосходящие…
Математики нашли новый способ оптимизировать квантовые вычисления
17 дек 2025
0
0
- Математики из КарНЦ РАН и Университета Тренто предложили новый способ оптимизации квантовых вычислений.
- Квантовые компьютеры уязвимы из-за физических особенностей и сложности взаимодействия квантовых частиц.
- Ученые работают над оптимизацией вычислений…
В РФ предложили новый подход к созданию систем стабилизации движения объектов управления
15 дек 2025
0
0
- Специалисты ФИЦ ИУ РАН разработали новый подход к стабилизации движений объектов управления.
- Новый подход позволяет объекту достигать цели даже при непредсказуемых препятствиях.
- Результат применения подхода - единая функция управления, не требующая…
Математика боя: ученый из МФТИ построил модель современных военных действий
7 дек 2025
0
0
- Математик из МФТИ разработал модель для описания динамики современных военных конфликтов.
- Модель учитывает нелинейную зависимость передвижения войск от их концентрации и плотности сил противника.
- Модель основана на системе нелинейных дифференциальных…