logoalt Hacker News

snarkconjectureyesterday at 9:11 PM0 repliesview on HN

It's absolutely not a trivial combination of prior work, or mathematicians would've found it already. This was not an obscure conjecture.