OpenAI заявила о решении одной из задач тысячелетия: проблемы Навье-Стокса. Доказательство опубликовано вместе с формализацией в Lean.
https://openai.com/index/navier-stokes-solution/
Post #347
1.76K
- 👍 20
- Sep 15, 2026Математики призвали остановить Мататон — соревнование по решению задач с помощью ИИ Коалиц…
- Sep 12, 2026Декларация о расхождении целей разработчиков ИИ и математического сообщества (2/2) https:/…
- Sep 12, 2026Декларация о расхождении целей разработчиков ИИ и математического сообщества (1/2) https:/…
- Sep 12, 2026Задача об SL_2 = E_2 Для любого кольца R можно построить 2 матричные группы: 1. SL_N(R) --…
- Sep 11, 2026Возникло сообщество математиков, выступающих за науку без ИИ The Association for Human Mat…
- Sep 9, 2026photo post