{"data":{"id":"d624673f-e07d-4508-9170-ff9a31eb1166","title":"Ten advances in mathematics and theoretical computer science","summary":"OpenAI reports ten new results on open mathematics and theoretical computer science problems, each open for at least a decade. The results were achieved by an internal version of its next major model, Astra, at a token cost of roughly $2,000 at Sol API rates. Humans then prepared the arguments as manuscripts, and the model formalized each argument in a Lean certificate.","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":"research","affectedPackages":null,"affectedPackageNames":null,"affectedPackageRefs":null,"affectedVendors":["OpenAI"],"affectedVendorsRaw":["OpenAI","ChatGPT for Academic Researchers","Astra","Lean"],"classifierModel":"claude-haiku-5-5","classifierPromptVersion":"v4","summaryPromptVersion":"v2","headline":null,"headlinePromptVersion":null,"cvssVector":null,"attackVector":null,"attackComplexity":null,"privilegesRequired":null,"userInteraction":null,"exploitMaturity":null,"epssScore":null,"epssCheckedAt":null,"kevDateAdded":null,"advisoryAliases":null,"affectedPackagesSource":null,"affectedPackagesCheckedAt":null,"patchAvailable":null,"disclosureDate":"2026-08-01T00:00:00.000Z","fixReleasedAt":null,"daysToFix":null,"fixCheckedAt":null,"capecIds":null,"crossRefCount":0,"attackSophistication":"moderate","impactType":null,"aiComponentTargeted":null,"llmSpecific":false,"classifierConfidence":0.7,"researchCategory":"blog","atlasIds":null}}