Технологии

ИИ предложил решение задачи Навье — Стокса, но спор перешёл к данным авторов

ИИ предложил решение задачи Навье — Стокса, но спор перешёл к данным авторов

OpenAI 8 сентября представила доказательство сингулярности для уравнений Навье — Стокса и формализацию в Lean. Научного консенсуса пока нет, а спор затронул закрытые запросы исследователей.

|Технологии| 9