OpenAI dropped a big one on August 1: an internal version of Astra — the model it keeps calling its "next major model" — has solved ten open problems in mathematics and… Read more →