Both solving the problem and formalizing the proof deserve recognition.

That’s how the #JustinSunPrize is structured.

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