Hast du ein Problem gelöst oder einen Beweis in Lean formalisiert?

Finde heraus, was für #JustinSunPrize qualifiziert 👇

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