OpenAI's New Astra Model Solves 10 Long-Standing Math and Computer Science Problems

cross-posted from: https://piefed.world/c/tech/p/1301153/openai-s-new-astra-model-solves-10-long-standing-math-and-computer-science-problems

openai.com/index/ten-advances-in-mathematics/