OpenAI's Astra Solved Decades-Old Math Problems For $2,000
OpenAI's Astra model generated machine-checkable proofs for ten longstanding mathematical problems, including a disproof of Connes's rigidity conjecture and an improvement to the sphere-packing densit…