интересное - главные новости

интересное - последние новости часа

+4136
Одна из самых мощных моделей Anthropic, Claude Fable 5, построила доказательство математической гипотезы, которую специалисты по квантовой оптимизации не могли доказать с 2014 года. Результат описан в препринте исследователей из Гарварда и MIT — Ури Кола, Маора Бен-Шахара, Кфира Сулимани и Дирка Энглунда. Главное отличие от прошлых громких заявлений в духе "ИИ решил математику": корректность доказательства проверяла не комиссия рецензентов, а программа — система формальной верификации Lean 4, которая принимает результат, только если каждый его шаг логически безупречен.
Учёные НИТУ МИСИС выяснили, почему снижаются магнитные свойства сплавов на основе марганца (Mn), алюминия (Al) и галлия (Ga). По мнению специалистов вуза, это может помочь повысить эффективность постоянных магнитов без редкоземельных элементов и снизить их стоимость для энергетики, транспорта и электроники. Работа выполнена при поддержке Российского научного фонда. Результаты опубликованы в журнале Journal of Alloys and Compounds.

Все новости, где упоминается интересное

DMCA