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