LessWrong AI
· Communities
OpenAI’s Unreleased Model Astra Solves Ten Major Open Mathematics Problems
Math is hard. Math used to be strangely hard for LLMs. People used to gloat about that. Remember? Math is getting easier. AI is getting more capable. Life comes at you fast. Remember this meme? Why yes. Yes it is. We don’t know the extent to which Astra is a big jump over Fable and Sol in this realm. We do know that As