OpenAI пишет, что их модель решила задачу тысячелетия, но не всё так однозначно: доказательство ещё предстоит проверить, а вокруг авторства разгорелся спор. В статье разбираемся, как вообще компьютеры понимают сложные науки и какие шаги делают ИИ в этой области. Ну и про историю с задачей Навье — Стокса тоже немного поговорим, конечно. Читать далее
Подразделение Microsoft Research недавно опубликовало предварительный выпуск Lean 4. Предыдущие версии Lean были сосредоточены на том, чтобы быть помощником по доказательствам — программным инструментом, который облегчает разработку строгих математических доказательств с помощью интерактивной совместной работы человека и машины. До сих пор язык Lean в основном применялся для оцифровки теоретической математики. Читать далее
развивает мелкую моторику рук, память, внимание посредством собирания яркой и красочной интерьерной картинки, состоящей из мелких деталей. Пазл Educa 500 деталей Заколдованный пруд, Энн Стокс в наличиивозможна доставка. Цена: 970.00 ₽ КУПИТЬ
Привет, Хабр. В этой статье мы разберемся с уравнением Навье-Стокса для несжимаемой жидкости, численно его решим и сделаем красивую симуляцию, работающую за счет параллельного вычисления на CUDA. Основная цель — показать, как можно применить математику, лежащую в основе уравнения, на практике при решении задачи моделирования жидкостей и газов. Читать дальше →