Полные математические решения. Полная формальная верификация в Lean. И то и другое заслуживает признания через #JustinSunPrize

Подробнее:
https://hejustinsun.com/prize

https://x.com/JustinSunPrize/status/2109561198169747710