NAG

https://jlmelville.github.io/mize/nesterov.html - довольно объёмный взгляд

Сходимость по аргументу была доказана лишь в 2025 году с помощью AI
https://arxiv.org/pdf/2510.23513. Это должно быть полезный кейс в Neuler