OpenAI’s Astra solves 10 long‑open math problems and publishes the proofs
OpenAI’s internal model Astra produced machine‑checkable proofs for ten decades‑old math problems, including an explicit construction of a non‑sofic group and a counterexample to Connes’s rigidity conjecture.