OpenAI's next major model Astra proves nonsofic groups exist

How this story unfolded

3 days · 3 reports · 7 community posts · 10 of 11 shown

1. Aug 1
   • Ten advances in mathematics and theoretical computer scienceopenai.com
   • 4 community posts
2. Aug 2
   • An unreleased OpenAI model has solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
3. Aug 3
   • OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problemsthezvi.substack.com
   • 2 community posts
4. Aug 4
   • OpenAI's Astra Model Solved 10 Open Math Problems for $2,000mindstudio.ai