OpenAI's Astra Solves 10 Unsolved Math Problems
OpenAI's internal model, Astra, has solved 10 previously unsolved mathematical problems, including a 50-year-old problem on group theory and the Ehrhart conjecture on volume. The solutions were published in a detailed post, with proofs and reasoning provided. The total cost for finding all ten solutions was approximately $2,000 in tokens.2 sourcesSee all sources