グラハム数分の一ミリも何のことかわからんけど、二階算術の理論Σ^1_{N+2}-CA+BIの証明論的順序数が決定したとかどうとか...

Hexirp氏（@hexirp_prixeh）曰く、

Π^1_3-CA の順序数解析なんて、解決できるかもという程度の情報でさえ全く見聞きしたことがない、というぐらいなんですよね。それなのに突然 Π^1_∞-CA の順序数解析が解決したという。

解説は@Alwe_Logic氏
https://twitter.com/Alwe_Logic/status/1727335699878469993