Kelley–Meka (2023): $r_3(N) \le N e^{-c(\log N)^{1/12}}$ · Prove2Me

P

Initializing...

Kelley–Meka (2023): $r_3(N) \le N e^{-c(\log N)^{1/12}}$ · Prove2Me