Vollständige mathematische Lösungen. Vollständige formale Verifizierung in Lean. Beides verdient Anerkennung mit #JustinSunPrize

Mehr erfahren:
https://hejustinsun.com/prize

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