AI Solved 10 Math Problems Humans Couldn't Crack for $2,000

Reports OpenAI's unreleased Astra model solving 10 long-open math problems for about $2,000, and a rival model quickly matching several once shown the answers exist.