{
  "id": 113411,
  "title": "OpenAI's Astra Solved Decades-Old Math Problems For $2,000",
  "url": "https://urgent.news/2026/08/04/openais-astra-solved-decades-old-math-problems-for-2-000",
  "topic": "ai",
  "section": "AI",
  "published": "2026-08-04T03:30:00.000Z",
  "source": {
    "name": "Slashdot",
    "slug": "slashdot",
    "url": "https://science.slashdot.org/story/26/08/04/0054251/openais-astra-solved-decades-old-math-problems-for-2000"
  },
  "original_language": "en",
  "account": null,
  "summary": "OpenAI's Astra model has reportedly solved decades-old mathematical problems for just $2,000, according to a report from Forbes. The model generated machine-checkable proofs for ten longstanding problems in fields such as group theory, high-dimensional geometry, coding theory, quantum complexity, lattice cryptography, and extremal combinatorics. The results are presented in a 249-page manuscript, accompanied by machine-checkable certificates for every single result, marking a significant milestone in the field. This follows a previous achievement in May, where Astra produced an original mathematical proof disproving a famous unsolved conjecture in geometry.",
  "key_points": [],
  "editors_take": null,
  "illustration": null,
  "coverage": {
    "outlets": 1,
    "also_reported_by": []
  },
  "ai_generated": true,
  "disclaimer": "Summaries, key points and the editor’s take are written by software from other outlets’ reporting and may contain errors — always check the linked original."
}