{"data":{"id":"d624673f-e07d-4508-9170-ff9a31eb1166","title":"Ten advances in mathematics and theoretical computer science","summary":"OpenAI's Astra model has solved or made progress on ten longstanding mathematics problems spanning areas like geometry, coding theory, and quantum complexity, with solutions formalized in Lean (a computer-verified proof system). The company emphasizes responsible attribution, stating that AI-generated proofs should be honestly credited to the AI system rather than claimed as human work.","solution":"N/A -- no mitigation discussed in source.","labels":["research","industry"],"sourceUrl":"https://openai.com/index/ten-advances-in-mathematics","publishedAt":"2026-08-01T00:00:00.000Z","cveId":null,"cweIds":null,"cvssScore":null,"cvssSeverity":null,"severity":"info","attackType":[],"issueType":"news","affectedPackages":null,"affectedVendors":["OpenAI"],"affectedVendorsRaw":["OpenAI","Astra","ChatGPT"],"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-01T00:00:00.000Z","capecIds":null,"crossRefCount":0,"attackSophistication":"moderate","impactType":null,"aiComponentTargeted":"model","llmSpecific":true,"classifierConfidence":0.85,"researchCategory":null,"atlasIds":null}}