bluesky — Eugene Yiga — 29 Sep 2026
#OpenAI says its agents solved a Millennium Prize Problem in 88 hours but top mathematicians are furious because a proof…
#cryptography #ai-aided-mathematics #formal-verification
#OpenAI says its agents solved a Millennium Prize Problem in 88 hours but top mathematicians are furious because a proof nobody understands is a missed lesson in most of mathematics and a serious danger in the one field that protects our encryption. lnkd.in/p/eRDS4Zbc