George, R. J., & Anandkumar, A. (2025). Formalization of the Millennium Prize Problems in Lean4 (Version 1.0.0) [Computer software]. https://github.com/username/millennium-problems-lean4