Результатов найдено: 400
Модель OpenAI опровергла ключевую гипотезу дискретной геометрии
21 мая 2026
0
0
- OpenAI опровергла гипотезу дискретной геометрии, поставленную Полом Эрдёшем в 1946 году.
- ИИ нашел новое решение проблемы единичных расстояний и связал ее с теорией алгебраических чисел.
- Работа прошла внешнюю математическую рецензию…
Природа сознания, Большой Взрыв и обратная сборка реальности
12 мая 2026
0
0
…Гипотеза: фундаментом реальности является смысловая структура, а не материя, энергия или информация.
- Математика - пример такой структуры, не зависящей от материи.
- Большой Взрыв - это разуплотнение сверхплотной смысловой структуры в пространство, время…
ИИ сокращает время моделирования орбитальных маневров с дней до секунд
10 мая 2026
0
0
- Flexcompute, Northrop Grumman и Nvidia представили "физический ИИ" для космоса, сокращающий время моделирования орбитальных маневров с 7 дней до 5 секунд.
- Технология позволяет инженерам быстрее разрабатывать космические программы и безопаснее…
Физик Гелаш: мегагрант помог заместить недоступную из-за санкций библиотеку кода
29 апр 2026
0
0
- Мегагрант Российского научного фонда помог российским исследователям разработать эффективную замену для библиотеки MKL от Intel.
- Библиотека MKL была недоступна для российских ученых из-за санкций.
- Разработанная библиотека превосходит зарубежные алгоритмы…
Создана система ИИ для "перевода" устных математических формул в текст
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
…решении задач, которые не под силу лучшим математикам.
- ИИ может быть полезным в исследовательской математике, выдвижении гипотез и доказательстве существующих гипотез.
- ИИ может изменить саму суть профессии математика, но математики…