OpenAI’s Unreleased Model Astra Solves Ten Major Open Mathematics Problems
Zvi (Don't Worry About the Vase) TheZvi ● Covered by 9 sources
OpenAI claimed its unreleased model Astra solved ten open mathematics problems, including results on sphere packing, group theory, and Ramsey numbers. Solving all ten problems would have cost roughly $2,000 at current API rates, with each solution formalized in the proof assistant Lean. However, subsequent testing showed that OpenAI's older model Fable could solve at least five of the same problems within 24 hours using similar prompting, suggesting Astra may represent incremental rather than dramatic improvement over existing models.
Why it matters
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. … Continue reading →