Філіп Плайї/Science Source
Главный материал
OpenAI заявила о решении задачи Навье — Стокса: почему это еще не финал, но уже перелом для математики
OpenAI опубликовала математическую работу и формализацию в Lean, созданные системой из тысяч агентов. Но официальное признание потребует лет независимой проверки.
