OpenAI for helping resolve longstanding open mathematical problems, with short elegant proofs. Feels like we are on the edge of a new age of scientific discovery. Mehtaab Sawhney (@mehtaab_sawhney) We are excited to share a new paper solving three further problems due to Erdős; in each case the solution was found by an internal model at OpenAI. Each proof is short and elegant, and the paper is available here: arxiv.org/pdf/2603.29961 — https://nitter.net/mehtaab_sawhney/status/2039161544144310453#m [Translated from EN to English]

→ View original post on X — @gdb, 2026-04-02 16:56 UTC