数学におけるブレークスルーに報いる新しい学術ボウティ（懸賞）プログラム「#JustinSunPrize 」をご紹介します。

貢献者は対象となる問題を解き、Leanで自身の成果を形式化し、賞のオープンソースGitHubリポジトリを通じて機械検証可能な証明を提出できます。

5つの受賞ティアと最高賞100万ドルを用意し、本プログラムは世界中の対象となる貢献者に開かれています。

解け。検証せよ。主張せよ。

詳細はこちら：
https://hejustinsun.com/prize

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