🙉Внутрішня система OpenAI заявила про розв’язання 90-річної задачі Нав’є-Стокса. Над доказом працювали 10 000 AI-агентів
Внутрішня система OpenAI створила аналітичний доказ, який, за твердженням компанії, розв’язує одну із семи задач тисячоліття — проблему існування та гладкості розв’язків рівнянь Нав’є — Стокса. OpenAI також представила формалізацію доказу мовою Lean.
@devukraine
🙉Внутрішня система OpenAI заявила про розв’язання 90-річної задачі Нав’є-Стокса.
dev.ua | IT України
@devukrainedev.ua — українське IT-медіа. Тут пишемо про: життя айті ком'юніті, бізнес, інновації, IT-освіту, GameDev. Youtube: https://bit.ly/3xcDTfs Співпраця: @stasdevua Реклама: @devmediabot Надсилайте новини в бот @devuafeedbackbot
30,557 subscribers
Open in Telegram