What would you like to know?

Answer

Anthropic Fable

OpenAI said on 3 August that an unreleased model internally called Astra had solved ten hard, previously open mathematics problems, according to reports in India Today and the Indian Express. Anthropic followed with its own claim: a model it calls Fable had cracked five. Both companies say each solution was formalised as a Lean certificate, and both claims arrived alongside price cuts on existing OpenAI models named Luna and Terra. Treat the headline numbers with some caution, because verifying a mathematical claim of this kind is slower and more human-dependent than the announcements suggest.

• Mathematical reasoning is treated as a proxy for general reasoning capability, so claims here move investor and public perception disproportionately.
• Neither Astra nor Fable has been released publicly, meaning outside mathematicians cannot yet reproduce or challenge the claimed solutions independently.
• Price cuts on existing models announced alongside the claims suggest a commercial motive layered on top of the research one.
• The specific problems solved have not been detailed publicly in a form the broader mathematics community can evaluate at the time of writing.