Ryan Lowe
thinking of this heartbreaking essay written by a mathematician last week, before this most recent news dropped
Noam Brown
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science. We believe it will be a major step for scientific reasoning. https://openai.com/index/ten-advances-in-mathematics/
