今後予想される展開は
・７／１７に進捗状況発表
・NG断定→陣営側から論文取り下げ→完全解決
・NG断定→陣営側からleanではダメだと反論→永遠の堂々巡り？
・OK判定→Stix-Scholzeサイドに問い合わせ集中→Stix-Scholzeが受け入れ→完全解決
・OK判定→Stix-Scholzeサイドに問い合わせ集中→Stix-Scholzeが反論→どうなるんだろ？
・OK判定が出ても
LANAプロジェクトの誰かがギャップを埋めてOKになった場合はABCは解決だけど当初論文はGAPあり認定でLANAプロジェクトが正式なIUT＋ABC証明者に？