{"data":{"id":"16bf887d-11e5-401b-8eb1-a28d3665d325","title":"OpenAI teases Astra, its next major AI model, after it solves 10 long-standing math problems","summary":"OpenAI has announced Astra, an upcoming AI model designed to handle complex, long-running tasks, after an internal version solved ten difficult math and computer science problems that had not seen progress for at least a decade. The model works by having human researchers prepare arguments, which Astra then converts into Lean certificates (formal mathematical proofs that can be verified by a computer). OpenAI has not yet decided whether to release Astra as GPT-5.7, GPT-6, or under a different name.","solution":"N/A -- no mitigation discussed in source.","labels":["industry"],"sourceUrl":"https://www.bleepingcomputer.com/news/artificial-intelligence/openai-teases-astra-its-next-major-ai-model-after-it-solves-10-long-standing-math-problems/","publishedAt":"2026-08-02T22:31:41.000Z","cveId":null,"cweIds":null,"cvssScore":null,"cvssSeverity":null,"severity":"info","attackType":[],"issueType":"news","affectedPackages":null,"affectedVendors":["OpenAI"],"affectedVendorsRaw":["OpenAI","Astra","GPT-5.7","GPT-6","Lean"],"classifierModel":"claude-haiku-4-5-20251001","classifierPromptVersion":"v3","cvssVector":null,"attackVector":null,"attackComplexity":null,"privilegesRequired":null,"userInteraction":null,"exploitMaturity":null,"epssScore":null,"patchAvailable":null,"disclosureDate":"2026-08-02T22:31:41.000Z","capecIds":null,"crossRefCount":0,"attackSophistication":"moderate","impactType":null,"aiComponentTargeted":"model","llmSpecific":true,"classifierConfidence":0.92,"researchCategory":null,"atlasIds":null}}