Post #266829 165 Oct 7, 2026, 03:57 UTC Mathematicians: frontier labs need to publish real proofs so we can check them, not blog postsOpenAI: fine. here’s 722 papers🄳🄾🄾🄼🄿🤖🅂🅃🄸🄽🄶